Relation Slot-Value-Type

• 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:

The SLOT-VALUE-TYPE of a relation R with respect to a domain class C is a constraint on the values of R when R is applied to instances of C. The constraint is specified as a class T such that for any instance c of C, when R(c,t), t is an instance of T.

Notes:

• See-Also: range In Loom and CLASSIC, slot-value-type is called `ALL'.

  In KEE, slot-value-type is called `VALUECLASS'.

Instance-Of: Relation, Set

Implication Axioms for Slot-Value-Type:

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

Equivalence Axioms for Slot-Value-Type:

(<=> (Slot-Value-Type ?Class ?Binary-Relation ?Type)
     (And (Class ?Class)
          (Binary-Relation ?Binary-Relation)
          (Class ?Type)
          (Forall (?Instance)
                  (=> (Instance-Of ?Instance ?Class)
                      (=> (Holds ?Binary-Relation
                                 ?Instance
                                 ?Slot-Value)
                          (Instance-Of ?Slot-Value ?Type))))))

Axioms for Slot-Value-Type:

(Binary-Relation ?Binary-Relation)

(Nth-Domain Slot-Value-Type 3 Class)

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

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

Frame References to Slot-Value-Type:

In class One-To-Many-Relation:

Slots:

Inverse:

Slot-Value-Type: Function

In class Funterm:

Slots:

First:

Slot-Value-Type: Funconst

In class One-To-One-Relation:

Slots:

Inverse:

Slot-Value-Type: Function

In class One-Many:

Slots:

Inverse:

Slot-Value-Type: Function

In class One-One:

Slots:

Inverse:

Slot-Value-Type: Function