Class Corporation

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Subclass-Of:

Legal-Entity, Eo-Entity, Individual, Individual-Thing, Thing ...

Instance-Of: Class, Relation, Set

Range-Of: Corporation-Of

Arity: 1

Documentation:

a group of Person s recognised in law as having existence, rights, and duties distinct from those of the individual Person s who from time to time comprise the group.

---

Slots:

Frame References to Corporation:

In class Shareholding:

Slots:

Corporation-Of:

Slot-Value-Type: Corporation

In class Legal-Entity:

Exhaustive-Subclass-Partition: {Corporation, Partnership, Person}

Implication Axioms mentioning Corporation:

(=> (Legal-Entity ?X)
    (Or (Person ?X) (Corporation ?X) (Partnership ?X)))

Equivalence Axioms mentioning Corporation:

(<=> (Legal-Entity ?X)
     (And (Eo-Entity ?X)
          (Or (Person ?X) (Corporation ?X) (Partnership ?X))))