Relation Has-Slot-Value

• 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

Arity: 3

Documentation:

A class C HAS-SLOT-VALUE v of relation R if for every instance i of C, R(i,v).

Notes:

• See-Also: HAS-SLOT-VALUE corresponds to LOOM's ``FILLED-BY'' and CLASSIC's ``FILLS''.

Implication Axioms for Has-Slot-Value:

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

Equivalence Axioms for Has-Slot-Value:

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

Axioms for Has-Slot-Value:

(Binary-Relation ?Binary-Relation)

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

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