Class Person

• Defined in ontology: Enterprise-v0.1

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))