Class Partnership

Subclass-Of:
Legal-Entity, Eo-Entity, Individual, Individual-Thing, Thing ...
Instance-Of: Class, Relation, Set
Range-Of: Partner-Of
Arity: 1
Documentation: A group of PERSONS carrying on business in common.


Slots:


Frame References to Partnership:

In class Legal-Entity:

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

Implication Axioms mentioning Partnership:

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


Equivalence Axioms mentioning Partnership:

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