Class MODEL-FRAGMENT

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

Slots on this class:

Documentation:

A MODEL-FRAGMENT instance describes an aggregate (perhaps empty) of participating objects under certain conditions.

Instance-Of: Class

Subclass-Of: Individual-thing

Other Related Axioms:

(Nth-Domain Active 3 Model-Fragment)

(=> (Active ?Time ?Model-Fragment-Class ?Mf-Instance)
    (Subclass-Of ?Model-Fragment-Class Model-Fragment))

(<= (Domain $X Model-Fragment) (Participant-Function $X))

(Inherited-Slot-Value Participant-Function Domain Model-Fragment)

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