Relation SLOT-VALUE-TYPE

• Defined in theory: Frame-ontology
• Source code: frame-ontology.lisp

Slots on this relation:

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.

Instance-Of: Relation

Arity: 3

Equivalence Axioms:

(<=> (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:

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

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

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

Other Related Axioms:

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

(Inherited-Facet-Value Slot-Value-Type
                       One-To-One-Relation
                       Inverse
                       Function)

(Inherited-Facet-Value Slot-Value-Type
                       One-To-Many-Relation
                       Inverse
                       Function)

Notes:

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

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