Relation Inherited-Slot-Value

Arity: 3
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.

Notes:

  • See-Also: all-inherited-slot-values
  • version 4: changed INHERITED-SLOT-VALUES to a relation, and renamed it to the singular form
Instance-Of: Relation, Set

Implication Axioms for Inherited-Slot-Value:

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


Equivalence Axioms for Inherited-Slot-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)))))


Axioms for Inherited-Slot-Value:

(Binary-Relation ?Binary-Relation)

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

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


Frame References to Inherited-Slot-Value:

In class Facet:

Slots:

Arity: 3

In class Unary-Relation:

Slots:

Arity: 1

In class Binary-Relation:

Slots:

Arity: 2

In class Class:

Slots:

Arity: 1

In class Real-Range@Ranges:

Slots:

Subclass-Of: Real-Number
...

Axioms mentioning Inherited-Slot-Value:

(Inherited-Slot-Value Zero = 0)

(Inherited-Slot-Value Undefined = Bottom)