Relation HAS-SLOT-VALUE

• Defined in theory: Slot-constraint-sugar
• Source code: slot-constraint-sugar.lisp

Slots on this relation:

Documentation:

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

Instance-Of: Relation

Arity: 3

Equivalence Axioms:

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

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

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

Other Related Axioms:

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

Notes:

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