instances [Relation]

Purpose

The instances relation finds all instances of a given concept, or all members of a given set.

Syntax

instances concept instance

Domain

The concept argument is the concept whose instances are to be found, or the set concept whose members are to be found.

Range

The instance argument is an instance or a symbolic set member.

Remarks

The instances of concept are computed from its local instances and the local instances of all concepts below it.

Examples

(tellm (Man Joe) (Man Fred)) 
(retrieve ?x (instances Man ?x)) ==> (|I|JOE |I|FRED) 
(defset Primary-Color :is (:one-of 'Red 'Green 'Blue)) 
(ask (instances Primary-Color 'Red)) ==> T