Class Person

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Subclass-Of:

Legal-Entity, Potential-Actor, Eo-Entity, Individual-Thing, Thing ...

Superclass-Of: Partner

Instance-Of: Class, Relation, Set

Domain-Of: Have-Skill, Partner-Of, Works-For-Ou

Range-Of: Employee

Arity: 1

Documentation: A human being

---

Slots:

Have-Skill:

Partner-Of:

Works-For-Ou:

Frame References to Person:

In class Employment-Contract:

Slots:

Employee:

Slot-Value-Type: Person

In class Legal-Entity:

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

Implication Axioms mentioning Person:

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

(=> (Partner ?Partner) (Person ?Partner))

Equivalence Axioms mentioning 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))))