Function ALL-INHERITED-SLOT-VALUES

• Defined in theory: Frame-ontology
• Source code: frame-ontology.lisp

Slots on this function:

Documentation:

The all-inherited-slot-values of binary relation R on class C is the set V of values for which R(c,s) holds on each instance i of C and member v of V. Unlike inherited-slot-values, there may not exist any other value v_i for which R(i,v_i) holds. Inherited values are monotonic, not default.

Arity: 3

Axioms:

(Nth-Domain All-Inherited-Slot-Values 2 Binary-Relation)

(Nth-Domain All-Inherited-Slot-Values 1 Class)

(<=> (All-Inherited-Slot-Values ?Class
                                ?Binary-Relation
                                ?Set-Of-Values)
     (And (Class ?Class)
          (Binary-Relation ?Binary-Relation)
          (Forall (?Instance ?Value)
                  (=> (Instance-Of ?Instance ?Class)
                      (<=> (Member ?Value ?Set-Of-Values)
                           (Holds ?Binary-Relation ?Instance ?Value))))))