Slots on this function:
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
(Nth-Domain All-Inherited-Slot-Values 2 Binary-Relation)
(Nth-Domain All-Inherited-Slot-Values 1 Class)
(<=> (All-Inherited-Slot-Values ?Class
(And (Class ?Class)
(Forall (?Instance ?Value)
(=> (Instance-Of ?Instance ?Class)
(<=> (Member ?Value ?Set-Of-Values)
(Holds ?Binary-Relation ?Instance ?Value))))))