range [Relation]

Purpose

This relation finds the range of a given relation.

range relation concept

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

The concept argument is the concept which is the range of relation.

(retrieve ?x (range wife ?x)) ==> (|C|WOMAN) 
(retrieve ?x (range + ?x)) ==> (|C|NUMBER) 
(ask (range successor Constant)) ==> T