SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > RangeFn
Next UnaryFunction: RationalNumberFn    Up: UnaryFunction    Previous UnaryFunction: PropertyFn   

RangeFn comparison table
Subject have domain1 have range documentation have axiom is a kind of is an instance of
UnaryFunction  The Class of Functions that require a single argument
(=>
    (instance ?FUNCTION UnaryFunction)
    (valence ?FUNCTION 1))
Function 
RangeFnBinaryRelationClassThe range of a BinaryRelation ?REL is the Class of all things such that something bears ?REL to them
(=> 
    (instance ?SEQ SequenceFunction) 
    (subclass (RangeFn ?SEQ)  Integer))
 UnaryFunction

Next UnaryFunction: RationalNumberFn    Up: UnaryFunction    Previous UnaryFunction: PropertyFn