greater than or equal to (greaterThanOrEqualTo)
number2) is true just in case the Quantity number1 is greater
than the Quantity number2.
SUMO / BASE-ONTOLOGY
before or equal
equivalence relation on
expressed in language
in scope of interest
less than or equal to
partial ordering on
related internal concept
subsumes content class
subsumes content instance
successor attribute closure
total ordering on
Related WordNet synsets
See more related synsets on a separate page.
- 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"
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)
(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)
(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.
(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" or
- 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"
- 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.
(MinimalWeightedPathFn ?NODE1 ?NODE2)
(GraphPathFn ?NODE1 ?NODE2))
(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.
(IntervalFn ?FROM ?TO))
(greaterThanOrEqualTo ?QUANTITY ?FROM)
(lessThanOrEqualTo ?QUANTITY ?TO)))