Relation HAS-VALUE-OF-TYPE

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

Slots on this relation:

Documentation:

A binary relation R HAS-VALUE-OF-TYPE T on domain instance d if there exists a v such that R(d,v) and v is an instance of T.

Arity: 3

Subrelation-Of: Value-type

Axioms:

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

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

(<=> (Has-Value-Of-Type ?Instance ?Binary-Relation ?Type)
     (And (Binary-Relation ?Binary-Relation)
          (Class ?Type)
          (>= (Value-Cardinality ?Instance ?Binary-Relation) 1)
          (Value-Type ?Instance ?Binary-Relation ?Type)))

Notes:

• See-Also: has-slot-value-of-type