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

RealNumberFn 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 
RealNumberFnNumberRealNumber(RealNumberFn ?NUMBER) returns the part of ?NUMBER that is a RealNumber
(=>
    (instance ?NUMBER ComplexNumber)
    (exists (?PART1 ?PART2)
       (and
          (equal ?PART1 (RealNumberFn ?NUMBER))
          (equal ?PART2 (ImaginaryPartFn ?NUMBER)))))
 UnaryFunction

Next UnaryFunction: ReciprocalFn    Up: UnaryFunction    Previous UnaryFunction: RationalNumberFn