Relation Inherited-Slot-Value

• Defined in ontology: Frame-ontology
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/ontolingua/../../all-ontologies/ontolingua/frame-ontology.lisp

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)