Relation Has-Single-Slot-Value-Of-Type

• Defined in ontology: Slot-constraint-sugar
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/ontolingua/../../all-ontologies/ontolingua/slot-constraint-sugar.lisp

Instance-Of: Relation, Set

Subrelation-Of: Has-Slot-Value-Of-Type

Arity: 3

Documentation:

A relation R HAS-SINGLE-SLOT-VALUE-OF-TYPE T with respect to domain class C if for every instance i of C there exists exactly one v such that R(i,v) and v is an instance of T.

Notes:

• See-Also: HAS-SINGLE-SLOT-VALUE-OF-TYPE is inspired by LOOM's ``THE'' operator.

Implication Axioms for Has-Single-Slot-Value-Of-Type:

(=> (Has-Single-Slot-Value-Of-Type ?Class ?Binary-Relation ?Type)
    (Has-Slot-Value-Of-Type ?Class ?Binary-Relation ?Type))

Equivalence Axioms for Has-Single-Slot-Value-Of-Type:

(<=> (Has-Single-Slot-Value-Of-Type ?Class ?Binary-Relation ?Type)
     (And (Class ?Class)
          (Binary-Relation ?Binary-Relation)
          (Class ?Type)
          (Single-Valued-Slot ?Class ?Binary-Relation)
          (Has-Slot-Value-Of-Type ?Class ?Binary-Relation ?Type)))

Axioms for Has-Single-Slot-Value-Of-Type:

(Single-Valued-Slot ?Class ?Binary-Relation)

(Binary-Relation ?Binary-Relation)

(Nth-Domain Has-Single-Slot-Value-Of-Type 3 Class)

(Nth-Domain Has-Single-Slot-Value-Of-Type 2 Binary-Relation)

(Nth-Domain Has-Single-Slot-Value-Of-Type 1 Class)