Class ENTITY

• Defined in theory: Cml
• Source code: cml.lisp

Slots on this class:

Documentation:

An ENTITY is an object with structurally stable properties. It differs from a MODEL-FRAGMENT in the set of properties that make sense for it. E.g. an 'automobile' is naturally represented as an entity, which might have attributes such as color: red, manufacturer: ford.

Instance-Of: Class

Subclass-Of: Individual-thing

Other Related Axioms:

(=> (= (Scenario.Participants ?S) ?Participants)
    (=> (Member ?P ?Participants) (Entity ?P)))

(<= (Range $X Entity) (Participant-Function $X))

(Inherited-Slot-Value Participant-Function Range Entity)

(<=> (Participant-Function ?F)
     (And (Unary-Function ?F)
          (Domain ?F Model-Fragment)
          (Range ?F Entity)))

(Domain ?F (Kappa (?X) (Or (Model-Fragment ?X) (Entity ?X))))

(<=> (Attribute-Function ?F)
     (And (Unary-Function ?F)
          (Domain ?F
                  (Kappa (?X) (Or (Model-Fragment ?X) (Entity ?X))))))