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.Notes:
- See-Also: all-inherited-slot-values
- version 4: changed INHERITED-SLOT-VALUES to a relation, and renamed it to the singular form
(=> (Inherited-Slot-Value ?Class ?Binary-Relation ?Value) (Forall (?Instance ?Value) (=> (Instance-Of ?Instance ?Class) (Holds ?Binary-Relation ?Instance ?Value))))
(<=> (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)))))
(Binary-Relation ?Binary-Relation) (Nth-Domain Inherited-Slot-Value 2 Binary-Relation) (Nth-Domain Inherited-Slot-Value 1 Class)
(Inherited-Slot-Value Zero = 0) (Inherited-Slot-Value Undefined = Bottom)