SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > ImaginaryPartFn
Next UnaryFunction: ImmediateFutureFn    Up: UnaryFunction    Previous UnaryFunction: IdentityFn   

ImaginaryPartFn 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 
ImaginaryPartFnComplexNumberImaginaryNumber(ImaginaryPartFn ?NUMBER) returns the imaginary part of ?NUMBER
(=>
    (instance ?NUMBER ComplexNumber)
    (exists (?PART1 ?PART2)
       (and
          (equal ?PART1 (RealNumberFn ?NUMBER))
          (equal ?PART2 (ImaginaryPartFn ?NUMBER)))))
 UnaryFunction

Next UnaryFunction: ImmediateFutureFn    Up: UnaryFunction    Previous UnaryFunction: IdentityFn