Class Corporation

Slots on class Corporation:

Arity: 1
Documentation: a group of PERSONS recognised in law as having existence...
Instance-Of: Class, Relation, Set
Range-Of: Corporation-Of
Subclass-Of: Legal-Entity, Eo-Entity, Individual, Individual-Thing, Thing ...

Slots on instances of Corporation:

Other Related Equivalence Axioms for Corporation:

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

Other Related Axioms for Corporation:

(Inherited-Facet-Value Slot-Value-Type
                       Shareholding
                       Corporation-Of
                       Corporation)

(Exhaustive-Subclass-Partition Legal-Entity
                               (Setof Person Corporation Partnership))