round fn (RoundFn)

(RoundFn number) is the Integer closest to number on the number line. If number is halfway between two Integers (for example 3.5), it denotes the larger Integer.

Ontology

SUMO / NUMERIC-FUNCTIONS

Class(es)

varga

inheritable relation

ekaadhaary prakaarya
is instance of

varga

inheritable relation

matraaon kaa sanbandha vistaara
is instance of

round fn

Coordinate term(s)

absolute value fn abstraction fn addition fn arc cosine fn arc sine fn arc tangent fn back fn begin fn begin node fn cardinality fn ceiling fn complement fn cosine fn cut set fn denominator fn division fn end fn end node fn exponentiation fn extension fn floor fn front fn future fn generalized intersection fn generalized union fn giga fn imaginary part fn immediate future fn immediate past fn initial node fn integer square root fn kilo fn list length fn magnitude fn max fn mega fn micro fn milli fn min fn minimal cut set fn multiplication fn nano fn numerator fn organization fn past fn path weight fn pico fn power set fn predecessor fn principal host fn probability fn property fn rational number fn real number fn reciprocal fn remainder fn signum fn sine fn skin fn square root fn subtraction fn successor fn tangent fn tera fn terminal node fn wealth fn when fn year fn equal greater than greater than or equal to less than less than or equal to

Type restrictions

parimaaNa RoundFn(parimaaNa)

Related WordNet synsets

round: (of numbers) to the nearest ten, hundred, or thousand; "in round numbers"

See more related synsets on a separate page.

Axioms (1)

agar "number1 rounded" is equal to number2,
to
- agar "(number1-"the largest integer less than or equal to number1")" is less than , to number2 is equal to "the largest integer less than or equal to number1"
- agar "(number1-"the largest integer less than or equal to number1")" is greater than or equal to , to number2 is equal to "the ceiling of number1"

(=>
      (equal
            (RoundFn ?NUMBER1)
            ?NUMBER2)
      (or
            (=>
                  (lessThan
                        (SubtractionFn
                              ?NUMBER1
                              (FloorFn ?NUMBER1))
                        0.5)
                  (equal
                        ?NUMBER2
                        (FloorFn ?NUMBER1)))
            (=>
                  (greaterThanOrEqualTo
                        (SubtractionFn
                              ?NUMBER1
                              (FloorFn ?NUMBER1))
                        0.5)
                  (equal
                        ?NUMBER2
                        (CeilingFn ?NUMBER1)))))