Class Person


Slots on class Person:

Arity: 1
Documentation: A human being
Domain-Of: Have-Skill, Partner-Of, Works-For-Ou
Instance-Of: Class, Relation, Set
Range-Of: Employee
Subclass-Of: Legal-Entity, Potential-Actor, Eo-Entity, Individual-Thing, Thing ...
Superclass-Of: Partner


Slots on instances of Person:


Other Related Equivalence Axioms for Person:

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

(<=> (Partner ?Partner)
     (And (Person ?Partner)
          (Actor ?Partner)
          (Exists (?Partnership) (Partner-Of ?Partner ?Partnership))))


Other Related Axioms for Person:

(Inherited-Facet-Value Slot-Value-Type
                       Employment-Contract
                       Employee
                       Person)

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