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