Class Eo-Entity

Subclass-Of: Individual-Thing, Individual, Thing
Superclass-Of:
Qua-Entity, Sale, Share, Share-Type, Shareholding ...
Has-Instance:
After-T-Begin, After-T-End, Always, Before-T-Begin, Before-T-End, During-Whole-Interval, Future, Ordinary, Past, Present
Instance-Of: Class, Relation, Set
Range-Of:
In-Scope-Of-Interest, Owned-Entity, Owned-Rights, Responsibilities-Of-Owner, Specified-Output ...
Arity: 1
Documentation: A fundamental thing in the domain being modelled.


Slots:


Implication Axioms mentioning Eo-Entity:

(=> (Activity-Or-Spec ?X) (Eo-Entity ?X))

(=> (Legal-Entity ?X) (Eo-Entity ?X))


Equivalence Axioms mentioning Eo-Entity:

(<=> (Activity-Or-Spec ?X)
     (And (Eo-Entity ?X) (Or (Activity ?X) (Activity-Spec ?X))))

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