greaterThanOrEqualTo
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY))
(
confersObligation
(
forall
(?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) ?AGENT))
Government.kif 1211-1231
If
compulsory suffrage law
is a
sub
-proposition of the
regional
law of
a nation
and
a human
is a
citizen
of
the nation
,
then the
regional
law of
the nation
obligate
s
the human
to perform task of the type for all
an entity
,
another entity
and
a third entity
if
the human
is a
citizen
of
the nation
and
the entity
year duration
(s) is a
suffrage
age minimum of
the nation
and the
age
of
the human
is
the other entity
year duration
(s) and
the other entity
is
greater
than or equal to
the entity
and
the third entity
is an
instance
of the
election
of
the nation
,
then there exists
a fourth entity
such that
the fourth entity
is an
instance
of the
voting
of
the third entity
and
the human
is an
agent
of
the fourth entity
(=>
(
and
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 980-988
If
a real number
year duration
(s) is a
suffrage
age minimum of
an agent
and
an election
is an
instance
of the
election
of
the agent
and
an object
is
capable
of doing the
voting
of
the election
as a
agent
and the
age
of
the object
is
another real number
year duration
(s),
then
the other real number
is
greater
than or equal to
the real number
(=>
(
and
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 968-978
If
a real number
year duration
(s) is a
suffrage
age minimum of
an agent
and
an election
is an
instance
of the
election
of
the agent
and
an object
is
capable
of doing the
voting
of
the election
as a
agent
,
then there exists
another real number
such that the
age
of
the object
is
the other real number
year duration
(s) and
the other real number
is
greater
than or equal to
the real number
(=>
(
and
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
?TOTAL ?UNIT))
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?PAVED ?UNIT)))
(
greaterThanOrEqualTo
?TOTAL ?PAVED))
Transportation.kif 519-525
If
a real number
an unit of measure
(s) is a
total
length of highway system of
a geographic area
and
another real number
the unit of measure
(s) is a
length
of paved highway of
the geographic area
,
then
the real number
is
greater
than or equal to
the other real number
(=>
(
and
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
?TOTAL ?UNIT))
(
lengthOfUnpavedHighway
?AREA
(
MeasureFn
?UNPAVED ?UNIT)))
(
greaterThanOrEqualTo
?TOTAL ?UNPAVED))
Transportation.kif 527-533
If
a real number
an unit of measure
(s) is a
total
length of highway system of
a geographic area
and
another real number
the unit of measure
(s) is a
length
of unpaved highway of
the geographic area
,
then
the real number
is
greater
than or equal to
the other real number
(=>
(
and
(
underageUser
?HUMAN ?SITE)
(
age
?HUMAN
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE 18))
UXExperimentalTerms.kif 1078-1082
If
a human
is an
underage
user
of
a web site
and the
age
of
the human
is
a real number
year duration
(s),
then
the real number
is
greater
than or equal to 18
(=>
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
exists
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
CelsiusDegree
))
(
greaterThanOrEqualTo
?AMOUNT -3.0)
(
lessThanOrEqualTo
?AMOUNT 18.0)
(
not
(
exists
(?M2 ?MT2)
(
and
(
instance
?M2
Month
)
(
averageTemperatureForPeriod
?AREA ?M2
(
MeasureFn
?MT2
CelsiusDegree
))
(
lessThan
?MT2 ?AMOUNT)))))))
Geography.kif 1428-1443
If
temperate climate zone
is a
climate
type in area of
a geographic area
,
then there exist
a time interval
and
a real number
such that
the time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
the real number
celsius degree
(s) and
the real number
is
greater
than or equal to -3.0 and
the real number
is
less
than or equal to 18.0 and there don't exist
another time interval
and
another real number
such that
the other time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the other time interval
for
the other real number
celsius degree
(s) and
the other real number
is
less
than
the real number
(=>
(
climateTypeInArea
?AREA
WetTropicalClimateZone
)
(
forall
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))))
Geography.kif 1325-1332
If
wet tropical climate zone
is a
climate
type in area of
a geographic area
,
then for all
a month
and
a real number
the month
is an
instance
of
month
and
the geographic area
average
rainfall for period
the month
for
the real number
one
thousandth
of a
meter
(s) and
the real number
is
greater
than or equal to 60.0
(=>
(
equal
(
MeasureFn
1
MonthDuration
)
(
MeasureFn
?NUMBER
DayDuration
))
(
greaterThanOrEqualTo
?NUMBER 28))
Merge.kif 7122-7126
If 1
month duration
(s) is
equal
to
a real number
day duration
(s),
then
the real number
is
greater
than or equal to 28
(=>
(
equipmentType
?O ?T)
(
exists
(?C ?D)
(
and
(
instance
?D ?T)
(
greaterThanOrEqualTo
?C 1)
(
equipmentCount
?O ?T ?C))))
Mid-level-ontology.kif 24343-24349
If
a kind of device
is an
equipment
type of
an artifact
,
then there exist
a real number
and
an entity
such that
the entity
is an
instance
of
a kind of device
and
the real number
is
greater
than or equal to 1 and
the artifact
equipment
count
the kind of device
for
the real number
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
HazardousAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
greaterThanOrEqualTo
?I 301))
Weather.kif 3178-3183
If
hazardous AQI air quality
is an
attribute
of
an entity
and the
airQualityIndex
of
the entity
is
a real number
holds
during
a time position
,
then
the real number
is
greater
than or equal to 301
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
ModerateAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 100)
(
greaterThanOrEqualTo
?I 51)))
Weather.kif 3122-3129
If
moderate AQI air quality
is an
attribute
of
an entity
and the
airQualityIndex
of
the entity
is
a real number
holds
during
a time position
,
then
the real number
is
less
than or equal to 100 and
the real number
is
greater
than or equal to 51
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 200)
(
greaterThanOrEqualTo
?I 151)))
Weather.kif 3150-3157
If
unhealthy AQI air quality
is an
attribute
of
an entity
and the
airQualityIndex
of
the entity
is
a real number
holds
during
a time position
,
then
the real number
is
less
than or equal to 200 and
the real number
is
greater
than or equal to 151
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 300)
(
greaterThanOrEqualTo
?I 201)))
Weather.kif 3164-3171
If
unhealthy AQI air quality
is an
attribute
of
an entity
and the
airQualityIndex
of
the entity
is
a real number
holds
during
a time position
,
then
the real number
is
less
than or equal to 300 and
the real number
is
greater
than or equal to 201
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyForSensitiveAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 150)
(
greaterThanOrEqualTo
?I 101)))
Weather.kif 3136-3143
If
unhealthy for sensitive groups AQI air quality
is an
attribute
of
an entity
and the
airQualityIndex
of
the entity
is
a real number
holds
during
a time position
,
then
the real number
is
less
than or equal to 150 and
the real number
is
greater
than or equal to 101
(=>
(
holdsDuring
?TIME
(
and
(
instance
?ADULT
HumanAdult
)
(
age
?ADULT
(
MeasureFn
?NUMBER
YearDuration
))))
(
greaterThanOrEqualTo
?NUMBER 18))
Mid-level-ontology.kif 193-199
If
an entity
is an
instance
of
human adult
and the
age
of
the entity
is
a real number
year duration
(s) holds
during
a time position
,
then
the real number
is
greater
than or equal to 18
(=>
(
instance
?BACTERIUM
Bacterium
)
(
exists
(?NUMBER)
(
and
(
width
?BACTERIUM
(
MeasureFn
?NUMBER
Meter
))
(
greaterThanOrEqualTo
?NUMBER 0.000001)
(
lessThanOrEqualTo
?NUMBER 0.000002))))
WMD.kif 205-211
If
a physical
is an
instance
of
bacterium
,
then there exists
a real number
such that the
width
of
the physical
is
the real number
meter
(s) and
the real number
is
greater
than or equal to 0.000001 and
the real number
is
less
than or equal to 0.000002
(=>
(
instance
?H
Hurricane
)
(
exists
(?TC ?PLACE ?WIND)
(
and
(
instance
?TC
TropicalCyclone
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?TC ?PLACE)
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?PLACE
(
WhenFn
?TC)))
(
greaterThanOrEqualTo
?WIND 74.0))))
Weather.kif 740-751
If
an entity
is an
instance
of
hurricane
,
then there exist
a process
,
a geographic area
and
a real number
such that
the process
is an
instance
of
tropical cyclone
and
the geographic area
is an
instance
of
geographic area
and
the process
is
located
at
the geographic area
and
the real number
miles per hour
(s) is
equal
to
Mean1MinuteWindSpeedFn
for the
time
of existence of
the process
in region
the geographic area
and
the real number
is
greater
than or equal to 74.0
(=>
(
instance
?HS
HeavySurf
)
(
exists
(?SZ ?SWH)
(
and
(
instance
?SZ
SurfZone
)
(
eventLocated
?HS ?SZ)
(
significantWaveHeight
?SZ
(
WhenFn
?HS)
(
MeasureFn
?SWH
FootLength
))
(
greaterThanOrEqualTo
?SWH 13.0))))
Weather.kif 1557-1566
If
a process
is an
instance
of
heavy zone
,
then there exist
a water area
and
a real number
such that
the water area
is an
instance
of
surf zone
and
the process
is
located
at
the water area
and
significantWaveHeight
in
the water area
during the
time
of existence of
the process
is
the real number
foot length
(s). and
the real number
is
greater
than or equal to 13.0
(=>
(
instance
?T
Typhoon
)
(
exists
(?TC ?PLACE ?WIND)
(
and
(
instance
?TC
TropicalCyclone
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?TC ?PLACE)
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean10MinutesWindSpeedFn
?PLACE
(
WhenFn
?TC)))
(
greaterThanOrEqualTo
?WIND 64.0))))
Weather.kif 774-785
If
an entity
is an
instance
of
typhoon
,
then there exist
the entity
C,
a geographic area
and
a real number
such that
the entity
C is an
instance
of
tropical cyclone
and
the geographic area
is an
instance
of
geographic area
and
the entity
C is
located
at
the geographic area
and
the real number
miles per hour
(s) is
equal
to
Mean10MinutesWindSpeedFn
for the
time
of existence of
the entity
C in region
the geographic area
and
the real number
is
greater
than or equal to 64.0
(=>
(
instance
?TC
TropicalCyclone
)
(
exists
(?PLACE ?WIND)
(
and
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?TC ?PLACE)
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?PLACE
(
WhenFn
?TC)))
(
greaterThanOrEqualTo
?WIND 44.0))))
Weather.kif 681-691
If
a process
is an
instance
of
tropical cyclone
,
then there exist
a geographic area
and
a real number
such that
the geographic area
is an
instance
of
geographic area
and
the process
is
located
at
the geographic area
and
the real number
miles per hour
(s) is
equal
to
Mean1MinuteWindSpeedFn
for the
time
of existence of
the process
in region
the geographic area
and
the real number
is
greater
than or equal to 44.0
(=>
(
instance
?TS
TropicalStorm
)
(
exists
(?PLACE ?WIND)
(
and
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?TS ?PLACE)
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?PLACE
(
WhenFn
?TS)))
(
greaterThanOrEqualTo
?WIND 39.0)
(
lessThanOrEqualTo
?WIND 74.0))))
Weather.kif 716-727
If
a process
is an
instance
of
tropical storm
,
then there exist
a geographic area
and
a real number
such that
the geographic area
is an
instance
of
geographic area
and
the process
is
located
at
the geographic area
and
the real number
miles per hour
(s) is
equal
to
Mean1MinuteWindSpeedFn
for the
time
of existence of
the process
in region
the geographic area
and
the real number
is
greater
than or equal to 39.0 and
the real number
is
less
than or equal to 74.0
(=>
(
instance
?X
HighRise
)
(
exists
(?LEVELS ?NUM)
(
and
(
instance
?LEVELS
Collection
)
(
forall
(?FLR)
(=>
(
and
(
instance
?FLR
BuildingLevel
)
(
part
?FLR ?X))
(
member
?FLR ?LEVELS)))
(
memberCount
?LEVELS ?NUM)
(
greaterThanOrEqualTo
?NUM 10))))
Mid-level-ontology.kif 26508-26520
If
an object
is an
instance
of
high rise
,
then there exist
a collection
and
an integer
such that
the collection
is an
instance
of
collection
and for all
another object
if
the other object
is an
instance
of
building level
and
the other object
is a
part
of
the object
,
then
the other object
is a
member
of
the collection
and
the integer
is a
member
count of
the collection
and
the integer
is
greater
than or equal to 10
(=>
(
instance
?X
RadiatingXRay
)
(
exists
(?M)
(
and
(
wavelength
?X
(
MeasureFn
?M
Nanometer
))
(
greaterThanOrEqualTo
?M 0.01)
(
lessThan
10.0 ?M))))
Mid-level-ontology.kif 610-617
If
a radiating
is an
instance
of
X ray radiation
,
then there exists
a real number
such that the
wavelength
of
the radiating
is
the real number
nanometer
(s) and
the real number
is
greater
than or equal to 0.01 and 10.0 is
less
than
the real number
(=>
(
maximumReplications
?Application ?MaxCopies)
(
greaterThanOrEqualTo
?MaxCopies
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application)))))
QoSontology.kif 750-755
If
a positive integer
is a
maximum
replications of
a computer program
,
then
the positive integer
is
greater
than or equal to the number of
instances
in the
class
described by
a symbolic string
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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