RangeFn concept from the SUMO knowledge base

Next UnaryFunction: RationalNumberFn Up: UnaryFunction Previous UnaryFunction: PropertyFn

Next UnaryFunction: RationalNumberFn Up: UnaryFunction Previous UnaryFunction: PropertyFn

RangeFn	*documentation* The range of a BinaryRelation ?REL is the Class of all things such that something bears ?REL to them
	has axiom (<=> (instance ?INST1 (RangeFn ?REL)) (exists (?INST2) (holds ?REL ?INST2 ?INST1)))
	has axiom (=> (instance ?SEQ SequenceFunction) (subclass (RangeFn ?SEQ) Integer))
	has domain1 BinaryRelation
	has range Class
	*is an instance* of** UnaryFunction
BinaryRelation	*is first domain* of** DomainFn
	*is first domain* of** equivalenceRelationOn
	*is first domain* of** inverse
	*is first domain* of** irreflexiveOn
	*is first domain* of** partialOrderingOn
	*is first domain* of** RangeFn
	*is first domain* of** reflexiveOn
	*is first domain* of** totalOrderingOn
	*is first domain* of** trichotomizingOn
	*is second domain* of** inverse
Function	*is first domain* of** AssignmentFn
	*is first domain* of** closedOn
	*is first domain* of** range
	*is first domain* of** rangeSubclass
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical