Relation INHERITED-SLOT-VALUE

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

Slots on this relation:

Documentation:

AN inherited-slot-value of binary relation R on class C is value V for which R(i,v) holds on each instance i of C. There is no closed-world assumption; there may exist other values v_i for which R(i,v_i) holds. Inherited values are monotonic, not default.

Arity: 3

Axioms:

(Nth-Domain Inherited-Slot-Value 2 Binary-Relation)

(Nth-Domain Inherited-Slot-Value 1 Class)

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

Notes:

• See-Also: all-inherited-slot-values