greaterThanOrEqualTo
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
AngularDegree
))
(
and
(
greaterThanOrEqualTo
?NUMBER 0.0)
(
lessThanOrEqualTo
?NUMBER 360.0)))
Merge.kif 7371-7375
If the
measure
of
a physical
is
a real number
angular degree
(s),
then
the real number
is
greater
than or equal to 0.0 and
the real number
is
less
than or equal to 360.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
AngularDegree
))
(
greaterThanOrEqualTo
?NUMBER 0.0))
Geography.kif 358-360
If the
measure
of
a physical
is
a real number
angular degree
(s),
then
the real number
is
greater
than or equal to 0.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcMinute
))
(
greaterThanOrEqualTo
?NUMBER 0.0))
Geography.kif 370-372
If the
measure
of
a physical
is
a real number
arc minute
(s),
then
the real number
is
greater
than or equal to 0.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcSecond
))
(
greaterThanOrEqualTo
?NUMBER 0.0))
Geography.kif 389-391
If the
measure
of
a physical
is
a real number
arc second
(s),
then
the real number
is
greater
than or equal to 0.0
(=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
greaterThanOrEqualTo
?PH 0.0))
Geography.kif 2557-2559
If the
measure
of
a physical
is
a real number
PH value
(s),
then
the real number
is
greater
than or equal to 0.0
(=>
(
minCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2161-2170
If there are at least
an integer
values
to argument
another integer
of
a relation
,
then there exist
a symbolic string
and @ARGS such that the number of
instances
in the
class
described by
the symbolic string
is
greater
than or equal to
the integer
(=>
(
minimumReplications
?Application ?MinCopies)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application))) ?MinCopies))
QoSontology.kif 733-738
If
a positive integer
is a
minimum
replications of
a computer program
,
then the number of
instances
in the
class
described by
a symbolic string
is
greater
than or equal to
the positive integer
(=>
(
potentialOfHydrogen
?S ?N)
(
and
(
greaterThanOrEqualTo
?N 0.0)
(
lessThanOrEqualTo
?N 14.0)))
Mid-level-ontology.kif 3303-3307
If
a real number
is a
potential
of hydrogen of
a solution
,
then
the real number
is
greater
than or equal to 0.0 and
the real number
is
less
than or equal to 14.0
(=>
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
confersObligation
(
forall
(?AGENT ?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?POLITY))
Government.kif 1191-1209
If
compulsory suffrage law
is a
sub
-proposition of the
regional
law of
a geopolitical area
,
then the
regional
law of
the geopolitical area
obligate
s
the geopolitical area
to perform task of the type for all
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
if
the entity
is a
citizen
of
the geopolitical area
and
the other entity
year duration
(s) is a
suffrage
age minimum of
the geopolitical area
and the
age
of
the entity
is
the third entity
year duration
(s) and
the third entity
is
greater
than or equal to
the other entity
and
the fourth entity
is an
instance
of the
election
of
the geopolitical area
,
then there exists
a fifth entity
such that
the fifth entity
is an
instance
of the
voting
of
the fourth entity
and
the entity
is an
agent
of
the fifth entity
(=>
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
forall
(?AGENT ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))))
Government.kif 1106-1118
If
universal suffrage law
is a
sub
-proposition of the
regional
law of
a nation
,
then for all
a human
,
an election
,, ,
a real number
and
another real number
if
the human
is a
citizen
of
the nation
and
the real number
year duration
(s) is a
suffrage
age minimum of
the nation
and the
age
of
the human
is
the other real number
year duration
(s) and
the other real number
is
greater
than or equal to
the real number
and
the election
is an
instance
of the
election
of
the nation
,
then
the human
is
capable
of doing the
voting
of
the election
as a
agent
(=>
(
userFeedbackScore
?ACCOUNT ?SCORE)
(
greaterThanOrEqualTo
100 ?SCORE))
UXExperimentalTerms.kif 713-715
If the
user
feedback
score
from
an user account
is
a real number
,
then 100 is
greater
than or equal to
the real number
(=>
(
userFeedbackScore
?ACCOUNT ?SCORE)
(
greaterThanOrEqualTo
?SCORE 0))
UXExperimentalTerms.kif 717-719
If the
user
feedback
score
from
an user account
is
a real number
,
then
the real number
is
greater
than or equal to 0
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners