Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Cobalt
Sigma KEE - greaterThanOrEqualTo
greaterThanOrEqualTo
appearance as argument number 1
(
documentation
greaterThanOrEqualTo
ChineseLanguage
"(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的
Quantity
多于或者等于 ?NUMBER2 的
Quantity
。")
chinese_format.kif 1735-1736
(
documentation
greaterThanOrEqualTo
EnglishLanguage
"(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is greater than or equal to the
Quantity
?NUMBER2.")
Merge.kif 1881-1883
(
documentation
greaterThanOrEqualTo
JapaneseLanguage
"(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1が
Quantity
?NUMBER2以上の場合に当てはまる。")
japanese_format.kif 343-344
(
domain
greaterThanOrEqualTo
1
RealNumber
)
Merge.kif 1877-1877
The number 1 argument of
greater than or equal to
is an
instance
of
real number
(
domain
greaterThanOrEqualTo
2
RealNumber
)
Merge.kif 1878-1878
The number 2 argument of
greater than or equal to
is an
instance
of
real number
(
instance
greaterThanOrEqualTo
BinaryPredicate
)
Merge.kif 1873-1873
greater than or equal to
is an
instance
of
binary predicate
(
instance
greaterThanOrEqualTo
PartialOrderingRelation
)
Merge.kif 1874-1874
greater than or equal to
is an
instance
of
partial ordering relation
(
instance
greaterThanOrEqualTo
RelationExtendedToQuantities
)
Merge.kif 1875-1875
greater than or equal to
is an
instance
of
relation extended to quantities
(
inverse
greaterThanOrEqualTo
lessThanOrEqualTo
)
Merge.kif 1879-1879
greater than or equal to
is an
inverse
of
less than or equal to
(
trichotomizingOn
greaterThanOrEqualTo
RealNumber
)
Merge.kif 1876-1876
greater than or equal to
is
trichotomizing
on
real number
appearance as argument number 2
(
format
ChineseLanguage
greaterThanOrEqualTo
"%1 %n 是
greaterThanOrEqualTo
%2")
chinese_format.kif 113-113
(
format
EnglishLanguage
greaterThanOrEqualTo
"%1 is %n greater than or equal to %2")
english_format.kif 113-113
(
format
FrenchLanguage
greaterThanOrEqualTo
"%1 est %n plus grand ou �gal � %2")
french_format.kif 78-78
(
format
ItalianLanguage
greaterThanOrEqualTo
"%1 è %n più grande di o uguale a %2")
relations-it.txt 122-122
(
format
JapaneseLanguage
greaterThanOrEqualTo
"%1 は %2 greater では %n")
japanese_format.kif 1905-1905
(
format
PortugueseLanguage
greaterThanOrEqualTo
"%1 e' %n maior ou igual a %2")
portuguese_format.kif 30-30
(
format
cz
greaterThanOrEqualTo
"%1 %p{je} %n{nen�} v�t�� ne� nebo roven %2")
relations-cz.txt 79-79
(
format
de
greaterThanOrEqualTo
"%1 ist groesserAlsOderGleich %2 %n{nicht}")
relations-de.txt 130-130
(
format
hi
greaterThanOrEqualTo
"%1 %2 se badaa yaa baraabara %n hai")
relations-hindi.txt 162-162
(
format
ro
greaterThanOrEqualTo
"%1 %n{nu} este greater%t{mai mare} sau egal decât %2")
relations-ro.kif 97-97
(
format
sv
greaterThanOrEqualTo
"%1 är %n{inte} större än eller lika med %2")
relations-sv.txt 77-77
(
format
tg
greaterThanOrEqualTo
"%1 %n ay mas malaki sa o pareho sa %2")
relations-tg.txt 250-250
(
termFormat
ChineseLanguage
greaterThanOrEqualTo
"大于或等于")
chinese_format.kif 114-114
(
termFormat
ChineseTraditionalLanguage
greaterThanOrEqualTo
"大於或等於")
domainEnglishFormat.kif 26543-26543
(
termFormat
EnglishLanguage
greaterThanOrEqualTo
"greater than or equal to")
domainEnglishFormat.kif 26542-26542
(
termFormat
de
greaterThanOrEqualTo
"groesserAlsOderGleich")
terms-de.txt 38-38
(
termFormat
tg
greaterThanOrEqualTo
"mas malaki sa o pareho sa")
relations-tg.txt 251-251
antecedent
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThanOrEqualTo
?S 2.5))
(
exists
(?PM25)
(
and
(
instance
?PM25
FineParticulateMatter
)
(
part
?PM25 ?PM))))
Geography.kif 7447-7457
An object
is an
instance
of
PM
and
a self connected object
is a
part
of
the object
and the
approximate
diameter
of
the self connected object
is
a real number
micrometer
(s) and
the real number
is
greater
than or equal to 2.5 if and only if there exists
the object
25 such that
the object
25 is an
instance
of
PM2.5
and
the object
25 is a
part
of
the object
(<=>
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
greaterThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1885-1889
A real number
is
greater
than or equal to
another real number
if and only if
the real number
is
equal
to
the other real number
or
the real number
is
greater
than
the other real number
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2080-2090
If
a real number
an unit of measure
(s) is an
arable
land area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the other real number
is an
instance
of
area measure
and
a third real number
is
equal
to
the real number
and
the other real number
,
then
the third real number
the unit of measure
(s) is an
arable
land area of
the geographic area
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
If
a real number
an unit of measure
(s) is an
arable
land area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
unit of area
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
arable land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the real number
and
the other real number
the unit of measure
(s)
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
If
limit order
is an
attribute
of
a financial transaction
and
an agreement
is a
party
to agreement of
the financial transaction
and
broker
is an
attribute
of
the agreement
and
the financial transaction
is
order
for
selling
for
a security
and the
measure
of
the security
is
a physical quantity
and
a real number
an unit of measure
(s) is a
limit
price of
the financial transaction
and
an agent
bids
another real number
the unit of measure
(s) for
the security
and
the unit of measure
is an
instance
of
unit of currency
and
the other real number
is
greater
than or equal to
the real number
,
then
the agreement
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13811-13824
If
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
an entity
is an
instance
of
a kind of pure substance
and the
measure
of
the entity
is
another real number
the unit of measure
(s) holds
during
a time interval
and
the unit of measure
is an
instance
of
unit of temperature
and
the other real number
is
greater
than or equal to
the real number
,
then
gas
is an
attribute
of
the entity
holds
during
the time interval
or there exists
a process
such that
the time interval
overlap
s the
time
of existence of
the process
and
the process
is an
instance
of
boiling
and
the entity
is a
patient
of
the process
(=>
(
and
(
climateTypeInArea
?AREA
TropicalClimateZone
)
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))
(
climateTypeInArea
?AREA
WetTropicalClimateZone
))
Geography.kif 1316-1323
If
tropical climate zone
is a
climate
type in area of
a geographic area
and
a month
is an
instance
of
month
and
the geographic area
average
rainfall for period
the month
for
a real number
one
thousandth
of a
meter
(s) and
the real number
is
greater
than or equal to 60.0,
then
wet tropical climate zone
is a
climate
type in area of
the geographic area
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThanOrEqualTo
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanAdult
)))
Mid-level-ontology.kif 219-225
If
an entity
is an
instance
of
human
and the
age
of
the entity
is
a real number
year duration
(s) holds
during
a time position
and
the real number
is
greater
than or equal to 18,
then
the entity
is an
instance
of
human adult
holds
during
the time position
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
otherLandUseArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2165-2176
If
a real number
an unit of measure
(s) is an
other
land use area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
unit of area
and
a third real number
is
equal
to
the real number
and
the other real number
,
then
the third real number
the unit of measure
(s) is an
other
land use area of
the geographic area
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?OTHER)
(
and
(
instance
?OTHER
LandArea
)
(
not
(
instance
?OTHER
ArableLand
))
(
not
(
instance
?OTHER
PermanentCropLand
))
(
geographicSubregion
?OTHER ?REGION)
(
measure
?OTHER
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2178-2196
If
a real number
an unit of measure
(s) is an
other
land use area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
unit of area
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
land area
and
the other geographic area
is not an
instance
of
arable land
and
the other geographic area
is not an
instance
of
permanent crop land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the real number
and
the other real number
the unit of measure
(s)
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
permanentCropLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2125-2136
If
a real number
an unit of measure
(s) is a
permanent
crop land area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
unit of area
and
a third real number
is
equal
to
the real number
and
the other real number
,
then
the third real number
the unit of measure
(s) is a
permanent
crop land area of
the geographic area
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?PERMCROP)
(
and
(
instance
?PERMCROP
PermanentCropLand
)
(
geographicSubregion
?PERMCROP ?REGION)
(
measure
?PERMCROP
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2138-2152
If
a real number
an unit of measure
(s) is a
permanent
crop land area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
unit of area
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
permanent crop land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the real number
and
the other real number
the unit of measure
(s)
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
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))))
Government.kif 1176-1189
If
compulsory suffrage law
is a
sub
-proposition of the
regional
law of
a nation
and
a human
is a
citizen
of
the nation
and
a real number
year duration
(s) is a
suffrage
age minimum of
the nation
and the
age
of
the human
is
another real number
year duration
(s) and
the other real number
is
greater
than or equal to
the real number
and
an election
is an
instance
of the
election
of
the nation
,
then there exists
a process
such that
the process
is an
instance
of the
voting
of
the election
and
the human
is an
agent
of
the process
(=>
(
and
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
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 1120-1130
If
universal suffrage law
is a
sub
-proposition of the
regional
law of
a nation
and
a human
is a
citizen
of
the nation
and
a real number
year duration
(s) is a
suffrage
age minimum of
the nation
and the
age
of
the human
is
another real number
year duration
(s) and
the other real number
is
greater
than or equal to
the real number
and
an 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
consequent
(<=>
(
instance
?NUMBER
NonnegativeRealNumber
)
(
and
(
greaterThanOrEqualTo
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1926-1930
A real number
is an
instance
of
nonnegative real number
if and only if
the real number
is
greater
than or equal to 0 and
the real number
is an
instance
of
real number
(=>
(
and
(
attribute
?H
Healthy
)
(
restingBreathingRate
?H ?R))
(
and
(
greaterThanOrEqualTo
?R 12)
(
greaterThanOrEqualTo
16 ?R)))
Medicine.kif 359-365
If
healthy
is an
attribute
of
a mammal
and the
resting
breathing rate of
the mammal
is
an integer
,
then
the integer
is
greater
than or equal to 12 and 16 is
greater
than or equal to
the integer
(=>
(
and
(
attribute
?P
CollegeJunior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 2)
(
lessThan
?T 3))))
Mid-level-ontology.kif 18692-18702
If
college junior
is an
attribute
of
a position
and
a human
holds the
position
of
the position
in
an organization
,
then there exists
a real number
such that
the human
is a
student
of
the organization
holds
during
the real number
year duration
(s) and
the real number
is
greater
than or equal to 2 and
the real number
is
less
than 3
(=>
(
and
(
attribute
?P
CollegeSenior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 3)
(
lessThan
?T 4))))
Mid-level-ontology.kif 18708-18718
If
college senior
is an
attribute
of
a position
and
a human
holds the
position
of
the position
in
an organization
,
then there exists
a real number
such that
the human
is a
student
of
the organization
holds
during
the real number
year duration
(s) and
the real number
is
greater
than or equal to 3 and
the real number
is
less
than 4
(=>
(
and
(
attribute
?P
CollegeSophomore
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 1)
(
lessThan
?T 2))))
Mid-level-ontology.kif 18724-18734
If
college sophomore
is an
attribute
of
a position
and
a human
holds the
position
of
the position
in
an organization
,
then there exists
a real number
such that
the human
is a
student
of
the organization
holds
during
the real number
year duration
(s) and
the real number
is
greater
than or equal to 1 and
the real number
is
less
than 2
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
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 1132-1152
If
a human
is a
citizen
of
a nation
and
universal suffrage law
is a
sub
-proposition of the
regional
law of
the nation
,
then the
regional
law of
the nation
allow
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
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1419-1425
If
temperate climate zone
is a
climate
type in area of
a geographic area
and
a time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
a real number
celsius degree
(s),
then
the real number
is
greater
than or equal to -3.0
(=>
(
and
(
equal
(
MinimalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
equal
(
PathWeightFn
?PATH) ?NUMBER1)
(
instance
?PATH2
(
GraphPathFn
?NODE1 ?NODE2))
(
equal
(
PathWeightFn
?PATH2) ?NUMBER2))
(
greaterThanOrEqualTo
?NUMBER2 ?NUMBER1))
Merge.kif 6022-6028
If the
lowest
cost
path
between
a graph node
and
another graph node
is
equal
to
a graph path
and the
value
of
the graph path
is
equal
to
a real number
and
the graph path
2 is an
instance
of the
set
of paths between
the graph node
and
the other graph node
and the
value
of
the graph path
2 is
equal
to
another real number
,
then
the other real number
is
greater
than or equal to
the real number
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1445-1457
If
an object
is an
instance
of
airport
and
long runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a real number
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the real number
meter
(s) and
the real number
is
greater
than or equal to 2438 or
the real number
is
less
than or equal to 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1426-1438
If
an object
is an
instance
of
airport
and
medium length runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a real number
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the real number
meter
(s) and
the real number
is
greater
than or equal to 1524 or
the real number
is
less
than or equal to 2437
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1407-1419
If
an object
is an
instance
of
airport
and
short runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a real number
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the real number
meter
(s) and
the real number
is
greater
than or equal to 914 or
the real number
is
less
than or equal to 1523
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
and
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7)))
Weather.kif 917-925
If
a region
is an
instance
of
geographic area
and
a process
is an
instance
of
partly cloudy weather
and
the process
is
located
at
the region
and
a nonnegative real number
is a
cloud
cover fraction of
the region
,
then
the nonnegative real number
is
greater
than or equal to 0.3 and
the nonnegative real number
is
less
than or equal to 0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7))))
Weather.kif 906-915
If
a region
is an
instance
of
geographic area
and
a process
is an
instance
of
partly cloudy weather
and
the process
is
located
at
the region
,
then there exists
a nonnegative real number
such that
the nonnegative real number
is a
cloud
cover fraction of
the region
and
the nonnegative real number
is
greater
than or equal to 0.3 and
the nonnegative real number
is
less
than or equal to 0.7
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
equal
?CITIZENRY
(
CardinalityFn
(
CitizenryFn
?AREA)))
(
equal
?POPULATION
(
CardinalityFn
(
ResidentFn
?AREA))))
(
greaterThanOrEqualTo
?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 8017-8024
If
a geopolitical area
is an
instance
of
geopolitical area
and
an integer
is
equal
to the number of
instances
in the
citizenry
of
the geopolitical area
and
another integer
is
equal
to the number of
instances
in the
resident
of
the geopolitical area
,
then
the other integer
is
greater
than or equal to
the integer
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
OpeningAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
))
(
exists
(?Payment ?Date ?Amount)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?U))
(
greaterThanOrEqualTo
?Amount ?Balance)
(
agreementEffectiveDate
?Account ?Date)
(
date
?Payment ?Date))))
FinancialOntology.kif 686-699
If
a financial account
is an
instance
of
financial account
and
the financial account
is
minimum
balance
opening an account
for
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of currency
,
then there exist
a financial transaction
,
a time point
and
another real number
such that
the financial transaction
end
s up at the
currency
of
the financial account
and
the other real number
the unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the other real number
is
greater
than or equal to
the real number
and
the time point
is an
agreement
effective date of
the financial account
and
date
of
the financial transaction
is
the time point
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
DarkRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 225)
(
lessThanOrEqualTo
?T 245)))
Food.kif 571-578
If
a food
is an
instance
of
coffee bean
and
dark roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then
the real number
is
greater
than or equal to 225 and
the real number
is
less
than or equal to 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
LightRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 196)
(
lessThanOrEqualTo
?T 205)))
Food.kif 495-502
If
a food
is an
instance
of
coffee bean
and
light roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then
the real number
is
greater
than or equal to 196 and
the real number
is
less
than or equal to 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
MediumRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 210)
(
lessThanOrEqualTo
?T 219)))
Food.kif 533-540
If
a food
is an
instance
of
coffee bean
and
medium roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then
the real number
is
greater
than or equal to 210 and
the real number
is
less
than or equal to 219
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13801-13809
If
a process
is an
instance
of
boiling
and
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
an entity
is an
instance
of
a kind of pure substance
and
the entity
is a
patient
of
the process
and the
measure
of
the entity
is
another real number
the unit of measure
(s) holds
during
the
time
of existence of
the process
and
the unit of measure
is an
instance
of
unit of temperature
,
then
the other real number
is
greater
than or equal to
the real number
(=>
(
and
(
instance
?C
CoffeeArabica
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.008)
(
lessThanOrEqualTo
?Z 0.014)))
Economy.kif 4645-4658
If
an object
is an
instance
of
coffee arabica
and the
measure
of
the object
is
a real number
gram
(s) and
the object
C is an
instance
of
caffeine
and
the object
C is a
part
of
the object
and the
measure
of
the object
C is
another real number
gram
(s) and
a third real number
is
equal
to
the other real number
and
the real number
,
then
the third real number
is
greater
than or equal to 0.008 and
the third real number
is
less
than or equal to 0.014
(=>
(
and
(
instance
?C
CoffeeRobusta
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.017)
(
lessThanOrEqualTo
?Z 0.04)))
Economy.kif 4669-4682
If
an object
is an
instance
of
coffee robusta
and the
measure
of
the object
is
a real number
gram
(s) and
the object
C is an
instance
of
caffeine
and
the object
C is a
part
of
the object
and the
measure
of
the object
C is
another real number
gram
(s) and
a third real number
is
equal
to
the other real number
and
the real number
,
then
the third real number
is
greater
than or equal to 0.017 and
the third real number
is
less
than or equal to 0.04
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7120-7140
If
an object
is an
instance
of
crystal
and
mono crystalline
is an
attribute
of
the object
and
a self connected object
is an
instance
of
substance
and
solid
is an
attribute
of
the self connected object
and
poly crystalline
is an
attribute
of
the self connected object
and
another self connected object
is an
instance
of
substance
and
the other self connected object
is a
surface
of
the self connected object
and
the object
is not a
part
of
the other self connected object
,
then there exist
the object
LNT,
an integer
and
another object
such that
the object
LNT is an
instance
of
collection
and
the integer
is a
member
count of
the object
LNT and
the integer
is
greater
than or equal to 4 and
if
the other object
is a
member
of
the object
LNT,
then
the other object
is a
part
of
the self connected object
and
the object
meet
s
the other object
(=>
(
and
(
instance
?C
FlatWhite
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
part
?B ?E)
(
top
?B ?M)
(
instance
?B
Bubble
)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
greaterThanOrEqualTo
?L 1.0)
(
lessThanOrEqualTo
?L 20.0)))
Food.kif 1367-1385
If
an object
is an
instance
of
flat white
and
a substance
is a
part
of
the object
and
another substance
is a
part
of
the object
and
the substance
is an
instance
of
espresso
and
the other substance
is an
instance
of
milk foam
and A
Mixture
containing
a real number
unit
liter
of
the substance
and
another real number
unit
liter
of
the other substance
and
a self connected object
is a
part
of
the other substance
and
the self connected object
is a
part
of
the substance
and the
top
of
the other substance
is
the self connected object
and
the self connected object
is an
instance
of
bubble
and the
measure
of
the self connected object
is
a third real number
millimeter
(s),
then the approximate value of
the real number
is 0.03 and the approximate value of
the other real number
is 0.15 and
the third real number
is
greater
than or equal to 1.0 and
the third real number
is
less
than or equal to 20.0
(=>
(
and
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2811-2830
If
an object
is an
instance
of
internal combustion engine
and
another object
is an
instance
of
combustion chamber
and
the other object
is a
part
of
the object
and
an entity
is an
instance
of
fuel
and
another entity
is an
instance
of
unit of volume
and
the other object
contain
s
the entity
and the
measure
of
the entity
is
a third entity
the other entity
(s) and
engine flooded
is an
attribute
of
the object
holds
during
a time position
,
then
the other object
has the purpose there don't exist
the entity
2 and
a fifth entity
such that
the entity
2 is an
instance
of
fuel
and
the other object
contain
s
the entity
2 and the
measure
of
the entity
2 is
the fifth entity
the other entity
(s) and
the fifth entity
is
greater
than or equal to
the third entity
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1003-1012
If
an election
is an
instance
of the
election
of
an agent
and
a process
is an
instance
of the
voting
of
the election
and
another agent
is an
agent
of
the process
and
a real number
year duration
(s) is a
suffrage
age minimum of
the agent
and the
age
of
the other agent
is
another real number
year duration
(s),
then
the other real number
is
greater
than or equal to
the real number
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
containsInformation
(
forall
(?POLITY ?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)))
UniversalSuffrageLaw
)
Government.kif 1092-1103
For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
if ?AGENT is a
citizen
of ?POLITY and ?VOTINGAGE
year duration
(s) is a
suffrage
age minimum of ?POLITY and the
age
of ?AGENT is ?AGE
year duration
(s) and ?AGE is
greater
than or equal to ?VOTINGAGE and ?ELECTION is an
instance
of the
election
of ?POLITY,
then ?AGENT is
capable
of doing the
voting
of ?ELECTION as a
agent
contain
s information
universal suffrage law
(
containsInformation
(
forall
(?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?VOTER ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?VOTER
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER)))))
CompulsorySuffrageLaw
)
Government.kif 1160-1174
For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
if ?VOTER is a
citizen
of ?POLITY and ?VOTINGAGE
year duration
(s) is a
suffrage
age minimum of ?POLITY and the
age
of ?VOTER is ?AGE
year duration
(s) and ?AGE is
greater
than or equal to ?VOTINGAGE and ?ELECTION is an
instance
of the
election
of ?POLITY,
then there exists ?VOTING such that ?VOTING is an
instance
of the
voting
of ?ELECTION and ?VOTER is an
agent
of ?VOTING
contain
s information
compulsory suffrage law
(
equal
(
AvailableForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 872-881
The
available
for military service male of
a geopolitical area
is
equal
to the number of
instances
in the
class
described by
a symbolic string
(
equal
(
FitForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
subclass
?PROCESS
MilitaryProcess
)
(
fitForMilitaryService
?PERSON ?PROCESS)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 895-906
The
fit
for military service male of
a geopolitical area
is
equal
to the number of
instances
in the
class
described by
a symbolic string
appearance as argument number 0
(
greaterThanOrEqualTo
(
CardinalityFn
TwelveApostles
) 11)
Media.kif 1965-1965
The number of
instances
in
Twelve apostles
is
greater
than or equal to 11
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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