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

**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.

**Arity:**3

(Nth-Domain Slot-Value-Type 3 Class) (Nth-Domain Slot-Value-Type 2 Binary-Relation) (Nth-Domain Slot-Value-Type 1 Class) (<=> (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))))))

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