domain [Relation]

Purpose

This relation finds the domain of a given relation or property.

Syntax

domain relation concept

Domain

The relation argument is a binary or n-ary relation, or a property.

Range

The concept argument is the concept which is the domain of relation. In the case of an n-ary relation, concept is a list of concepts. The list has length one less than the arity of relation.

Examples

(retrieve ?x (domain wife ?x)) ==> (|C|MAN) 
(retrieve ?x (domain + ?x)) ==> ((|C|NUMBER |C|NUMBER)) 
(ask (domain primitive Meta-Concept)) ==> T

domain [Relation]

Purpose

Syntax

Domain

Range

Examples

See Also