SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > CeilingFn
Next UnaryFunction: ComplementFn    Up: UnaryFunction    Previous UnaryFunction: CardinalityFn   

CeilingFn 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 
CeilingFnRealNumberInteger(CeilingFn ?NUMBER) returns the smallest Integer greater than or equal to the RealNumber ?NUMBER
(=>
    (equal (RoundFn ?NUMBER1) ?NUMBER2)
    (or
       (=>
          (lessThan (SubtractionFn ?NUMBER1 (FloorFn ?NUMBER1)) .5)
          (equal ?NUMBER2 (FloorFn ?NUMBER1)))
       (=>
          (greaterThanOrEqualTo (SubtractionFn ?NUMBER1 (FloorFn ?NUMBER1)) .5)
          (equal ?NUMBER2 (CeilingFn ?NUMBER1)))))
 UnaryFunction

Next UnaryFunction: ComplementFn    Up: UnaryFunction    Previous UnaryFunction: CardinalityFn