greater than or equal to (greaterThanOrEqualTo)

(greaterThanOrEqualTo number1 number2) is true just in case the Quantity number1 is greater than the Quantity number2.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

class

inheritable relation

binary predicate
is instance of

partial ordering relation
is instance of

class

inheritable relation

relation extended to quantities
is instance of

greater than or equal to

Coordinate term(s)

addition fn division fn exponentiation fn max fn min fn multiplication fn reciprocal fn remainder fn round fn subtraction fn arc weight authors before or equal causes causes subclass citizen closed on connected contains information cooccur copy date decreases likelihood developmental form disjoint distributes documentation duration earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation finishes frequency graph part greater than has purpose has skill holds during holds obligation holds right hole identity element in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance inverse irreflexive on larger less than less than or equal to located material measure meets temporally modal attribute overlaps temporally parent part partial ordering on partly located path length possesses precondition prevents property publishes range range subclass refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

greaterThanOrEqualTo(quantity, quantity)

Related WordNet synsets

upper bound: (mathematics) a number equal to or greater than any other number in a given set
at least, at the least: not less than; "at least two hours studying the manual"; "a tumor at least as big as an orange"

See more related synsets on a separate page.

Axioms (8)

greater than or equal to is trichotomizing on real number.

(trichotomizingOn greaterThanOrEqualTo RealNumber)

greater than or equal to is an inverse of less than or equal to.

(inverse greaterThanOrEqualTo lessThanOrEqualTo)

number1 is greater than or equal to number2 if and only if number1 is equal to number2 or number1 is greater than number2.

(<=>
      (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2)
      (or
            (equal ?NUMBER1 ?NUMBER2)
            (greaterThan ?NUMBER1 ?NUMBER2)))

number is an instance of nonnegative real number if and only if number is greater than or equal to and number is an instance of real number.

(<=>
      (instance ?NUMBER NonnegativeRealNumber)
      (and
            (greaterThanOrEqualTo ?NUMBER 0)
            (instance ?NUMBER RealNumber)))

If "the ceiling of number" is equal to int, then there doesn't exist integer otherint so that otherint is greater than or equal to number and otherint is less than int.

(=>
      (equal
            (CeilingFn ?NUMBER)
            ?INT)
      (not
            (exists
                  (?OTHERINT)
                  (and
                        (instance ?OTHERINT Integer)
                        (greaterThanOrEqualTo ?OTHERINT ?NUMBER)
                        (lessThan ?OTHERINT ?INT)))))

if "number1 rounded" is equal to number2,
then
- if "(number1-"the largest integer less than or equal to number1")" is less than , then number2 is equal to "the largest integer less than or equal to number1"
- if "(number1-"the largest integer less than or equal to number1")" is greater than or equal to , then 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)))))

if "the lowest cost path between node1 and node2" is equal to path and "the value of path" is equal to number,
then for all path2 holds: if path2 is an instance of "the set of paths between node1 and node2" and "the value of path2" is equal to number2, then number2 is greater than or equal to number1

(=>
      (and
            (equal
                  (MinimalWeightedPathFn ?NODE1 ?NODE2)
                  ?PATH)
            (equal
                  (PathWeightFn ?PATH)
                  ?NUMBER))
      (forall
            (?PATH2)
            (=>
                  (and
                        (instance
                              ?PATH2
                              (GraphPathFn ?NODE1 ?NODE2))
                        (equal
                              (PathWeightFn ?PATH2)
                              ?NUMBER2))
                  (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))))

quantity is an instance of "the interval from from to to" if and only if quantity is greater than or equal to from and quantity is less than or equal to to.

(<=>
      (instance
            ?QUANTITY
            (IntervalFn ?FROM ?TO))
      (and
            (greaterThanOrEqualTo ?QUANTITY ?FROM)
            (lessThanOrEqualTo ?QUANTITY ?TO)))