Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
greaterThan
Sigma KEE - greaterThan
greaterThan
appearance as argument number 1
(
documentation
greaterThan
ChineseLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的
Quantity
比 ?NUMBER2 的
Quantity
要大。")
chinese_format.kif 1731-1732
(
documentation
greaterThan
EnglishLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is greater than the
Quantity
?NUMBER2.")
Merge.kif 1792-1794
(
domain
greaterThan
1
RealNumber
)
Merge.kif 1788-1788
The number 1 argument of
greater than
is an
instance
of
real number
(
domain
greaterThan
2
RealNumber
)
Merge.kif 1789-1789
The number 2 argument of
greater than
is an
instance
of
real number
(
instance
greaterThan
BinaryPredicate
)
Merge.kif 1782-1782
greater than
is an
instance
of
binary predicate
(
instance
greaterThan
IrreflexiveRelation
)
Merge.kif 1785-1785
greater than
is an
instance
of
irreflexive relation
(
instance
greaterThan
RelationExtendedToQuantities
)
Merge.kif 1786-1786
greater than
is an
instance
of
relation extended to quantities
(
instance
greaterThan
TotalValuedRelation
)
Merge.kif 1783-1783
greater than
is an
instance
of
total valued relation
(
instance
greaterThan
TransitiveRelation
)
Merge.kif 1784-1784
greater than
is an
instance
of
transitive relation
(
inverse
greaterThan
lessThan
)
Merge.kif 1790-1790
greater than
is an
inverse
of
less than
(
trichotomizingOn
greaterThan
RealNumber
)
Merge.kif 1787-1787
greater than
is
trichotomizing
on
real number
appearance as argument number 2
(
comparativeArea
SouthernOcean
greaterThan
2.0
UnitedStates
)
Geography.kif 4575-4575
Southern ocean
comparative
area
greater than
for 2.0 with
united states
(
format
ChineseLanguage
greaterThan
"%1 %n 是
greaterThan
%2")
chinese_format.kif 111-111
(
format
EnglishLanguage
greaterThan
"%1 is %n greater than %2")
english_format.kif 111-111
(
termFormat
ChineseLanguage
greaterThan
"大于")
chinese_format.kif 112-112
(
termFormat
ChineseLanguage
greaterThan
"比较多")
domainEnglishFormat.kif 26523-26523
(
termFormat
ChineseTraditionalLanguage
greaterThan
"比較多")
domainEnglishFormat.kif 26522-26522
(
termFormat
EnglishLanguage
greaterThan
"greater than")
domainEnglishFormat.kif 26521-26521
antecedent
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThan
10.0 ?S)
(
greaterThan
?S 2.5))
(
exists
(?PM10)
(
and
(
instance
?PM10
CoarseParticulateMatter
)
(
part
?PM10 ?PM))))
Geography.kif 7156-7167
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 10.0 is
greater
than
the real number
and
the real number
is
greater
than 2.5 if and only if there exists
the object
10 such that
the object
10 is an
instance
of
PM10
and
the object
10 is a
part
of
the object
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1375-1382
If
desert 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) and
the real number
is
greater
than 18.0,
then
subtropical desert climate zone
is a
climate
type in area of
the geographic area
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
If the damping ratio of
a physical system
is
a real number
and
the real number
is
greater
than 0 and
a time interval
is an
instance
of
tremor
and
the physical system
is a
patient
of
the time interval
and
an entity
is an
instance
of
UnitOfLength
and the amplitude
the time interval
is
another real number
the entity
(s) holds
during
the time interval
1 and the amplitude
the time interval
is
a third real number
the entity
(s) holds
during
the time interval
2 and
the time interval
1 takes place
during
the time interval
and
the time interval
2 takes place
during
the time interval
and
the time interval
1 happens
earlier
than
the time interval
2,
then
the other real number
is
greater
than
the third real number
(=>
(
and
(
equal
(
EditionFn
?TEXT ?INT1) ?EDITION1)
(
equal
(
EditionFn
?TEXT ?INT2) ?EDITION2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?EDITION1)
(
instance
?CBO2 ?EDITION2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Merge.kif 15233-15250
If
edition
a positive integer
of
a kind of content bearing object
is
equal
to
another kind of content bearing object
and
edition
another positive integer
of
a kind of content bearing object
is
equal
to
a third kind of content bearing object
and
the other positive integer
is
greater
than
the positive integer
and
a process
is an
instance
of
publication
and
another process
is an
instance
of
publication
and
an entity
is an
instance
of
another kind of content bearing object
and
another entity
is an
instance
of
a third kind of content bearing object
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the other process
and
date
of
the process
is
a day
and
date
of
the other process
is
another day
,
then the
end
of
the day
happens
before
the
end
of
the other day
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 3206-3213
If
a real number
is
equal
to the
average
of the numbers in
a list
and
length
of
the list
is
greater
than 0,
then
the real number
is
equal
to the
sum
of
the list
and
length
of
the list
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3187-3197
If
a real number
is
equal
to the
sum
of
a list
and
length
of
the list
is
greater
than 1,
then
the real number
is
equal
to (the
first
of
the list
and the
sum
of the sub-list from 2 to
length
of
the list
of
the list
)
(=>
(
and
(
equal
?OUT
(
ReverseFn
?IN))
(
equal
?LEN
(
StringLengthFn
?IN))
(
greaterThan
?LEN 1)
(
greaterThan
?N 0)
(
lessThan
?N ?LEN)
(
equal
?PIVOT
(
CeilingFn
(
DivisionFn
(
SubtractionFn
?LEN 1) 2)))
(
equal
?NEW
(
AdditionFn
(
SubtractionFn
?PIVOT ?N) ?PIVOT))
(
equal
?S
(
SubstringFn
?IN ?N
(
AdditionFn
1 ?N))))
(
equal
?S
(
SubstringFn
?OUT ?NEW
(
AdditionFn
1 ?NEW))))
Media.kif 3056-3077
If
a symbolic string
is
equal
to the reverse of
another symbolic string
and
a nonnegative integer
is
equal
to the
length
of
the other symbolic string
and
the nonnegative integer
is
greater
than 1 and
another nonnegative integer
is
greater
than 0 and
the other nonnegative integer
is
less
than
the nonnegative integer
and
an integer
is
equal
to the
ceiling
of (
the nonnegative integer
and 1) and 2 and
the other nonnegative integer
EW is
equal
to ((
the integer
and
the other nonnegative integer
) and
the integer
) and
a third symbolic string
is
equal
to the
sub
-string of
the other symbolic string
from
the other nonnegative integer
to (1 and
the other nonnegative integer
),
then
the third symbolic string
is
equal
to the
sub
-string of
the symbolic string
from
the other nonnegative integer
EW to (1 and
the other nonnegative integer
EW)
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
greaterThan
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListConcatenateFn
(
ListFn
(
ListOrderFn
?L ?S))
(
SubListFn
(
AdditionFn
1 ?S) ?E ?L))))
Merge.kif 3118-3130
If
a list
is
equal
to the sub-list from
a positive integer
to
an integer
of
another list
and (
the integer
and
the positive integer
) is
greater
than 1,
then
the list
is
equal
to the
list
composed of (
the positive integer
th
element
of
the other list
) and the sub-list from (1 and
the positive integer
) to
the integer
of
the other list
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?VA
(
AdditionFn
(
VarianceAverageFn
?M
(
ListOrderFn
?L 1))
(
VarianceAverageFn
?M
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Weather.kif 1452-1464
If
a real number
is
equal
to
VarianceAverageFn
of
a list
with the mean of
a number
and
length
of
the list
is
greater
than 1,
then
the real number
is
equal
to (
VarianceAverageFn
of 1th
element
of
the list
with the mean of
the number
and
VarianceAverageFn
of the sub-list from 2 to
length
of
the list
of
the list
with the mean of
the number
)
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
greaterThan
?COUNT 0)
(
marineInventory
?MM ?REGISTER))
(
instance
?REGISTER
FlagOfConvenienceRegister
))
Transportation.kif 1070-1075
If
a merchant marine
fOC
ships by origin
a geopolitical area
for
a nonnegative integer
and
the nonnegative integer
is
greater
than 0 and
a ship register
is a
marine
inventory of
the merchant marine
,
then
the ship register
is an
instance
of
flag of convenience register
(=>
(
and
(
governorSpeed
?V ?Q)
(
equal
(
MeasureFn
?FAST
MilesPerHour
)
(
SpeedFn
?L1 ?T1))
(
equal
(
MeasureFn
?SLOW
MilesPerHour
)
(
SpeedFn
?L2 ?T2))
(
greaterThan
?FAST ?SLOW)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?FAST
MilesPerHour
))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?SLOW
MilesPerHour
)))))
(
greaterThan
?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
If the maximum speed allowed by
a governor
is
a function quantity
and
a real number
miles per hour
(s) is
equal
to
a length measure
per
a time duration
and
another real number
miles per hour
(s) is
equal
to
another length measure
per
another time duration
and
the real number
is
greater
than
the other real number
and
the real number
PROB is
equal
to the
probability
of the
measure
of
the governor
is
the real number
miles per hour
(s) and
the other real number
PROB is
equal
to the
probability
of the
measure
of
the governor
is
the other real number
miles per hour
(s),
then
the other real number
PROB is
greater
than
the real number
PROB
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))
(
climateTypeInArea
?AREA
PolarClimateZone
))
Geography.kif 1578-1585
If
a geographic area
is an
instance
of
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) and 10.0 is
greater
than
the real number
,
then
polar climate zone
is a
climate
type in area of
the geographic area
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?BIDDER1
Agent
)
(
instance
?BIDDER2
Agent
)
(
instance
?ITEM
Object
)
(
instance
?U
UnitOfCurrency
)
(
patient
?AUCTIONING ?ITEM)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER1 ?U) ?BIDDER1)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER2 ?U) ?BIDDER2)
(
greaterThan
?OFFER1 ?OFFER2))
(
destination
?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 437-448
If
a process
is an
instance
of
auction
and
an entity
is an
instance
of
agent
and
another entity
is an
instance
of
agent
and
a third entity
is an
instance
of
object
and
an unit of measure
is an
instance
of
UnitOfCurrency
and
the third entity
is a
patient
of
the process
and
the entity
bids
a real number
the unit of measure
(s) for
the third entity
and
the other entity
bids
another real number
the unit of measure
(s) for
the third entity
and
the real number
is
greater
than
the other real number
,
then
the process
end
s up at
the entity
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?T1
(
BeginFn
?D1))
(
equal
?T2
(
BeginFn
?D2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8624-8631
If
a time interval
is an
instance
of the
day
a positive integer
and
another time interval
is an
instance
of the
day
another positive integer
and
a time point
is
equal
to the
beginning
of
the time interval
and
another time point
is
equal
to the
beginning
of
the other time interval
and
the other positive integer
is
greater
than
the positive integer
,
then
the time point
happens
before
the other time point
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
greaterThan
?N2 ?N1))
(
earlier
?D1 ?D2))
Merge.kif 8633-8638
If
a time interval
is an
instance
of the
day
a positive integer
and
another time interval
is an
instance
of the
day
another positive integer
and
the other positive integer
is
greater
than
the positive integer
,
then
the time interval
happens
earlier
than
the other time interval
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThan
?N 12)
(
lessThan
?N 20))
(
holdsDuring
?T1
(
instance
?H
Teenager
)))
Mid-level-ontology.kif 335-341
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 12 and
the real number
is
less
than 20,
then
the entity
is an
instance
of
teenager
holds
during
the time position
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2949-2954
If
an object
is an
instance
of
harbor
and
the object
equipment
count
ship berth
for
a real number
and
the real number
is
greater
than 0,
then
the object
is
capable
of doing
ship berthing
as a
path
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP2 ?MEASURE))
(
instance
?MEASURE
UnitOfTemperature
)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP3 ?MEASURE)))
(
greaterThan
?TEMP3 ?TEMP2)
(
lessThan
?TEMP3 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Liquid
))
(
exists
(?MELT)
(
and
(
overlapsTemporally
(
WhenFn
?MELT) ?TIME)
(
instance
?MELT
Melting
)
(
patient
?MELT ?SUBSTANCE)))))
Merge.kif 13616-13631
If
an entity
is an
instance
of
a kind of pure substance
and
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
another real number
the unit of measure
(s) is a
melting
point of
the kind of pure substance
and
the unit of measure
is an
instance
of
UnitOfTemperature
and the
measure
of
the entity
is
a third real number
the unit of measure
(s) holds
during
a time interval
and
the third real number
is
greater
than
the other real number
and
the third real number
is
less
than
the real number
,
then
liquid
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
melting
and
the entity
is a
patient
of
the process
(=>
(
and
(
instance
?SZ
SurfZone
)
(
significantWaveHeight
?SZ
(
WhenFn
?SZ)
(
MeasureFn
?X
FootLength
))
(
greaterThan
?X 8.0))
(
attribute
?SZ
RedFlagSwimmingCondition
))
Weather.kif 1397-1404
If
a water area
is an
instance
of
surf zone
and
significantWaveHeight
in
the water area
during the
time
of existence of
the water area
is
a real number
foot length
(s). and
the real number
is
greater
than 8.0,
then
RedFlagSwimmingCondition
is an
attribute
of
the water area
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13551-13560
If
an object
is an
instance
of
a kind of pure substance
and
a kind of pure substance
is a
subclass
of
pure substance
and
a real number
inch mercury
(s) is a
barometric
pressure of
the object
and 29.92 is
greater
than
the real number
and
another real number
kelvin degree
(s) is a
boiling
point of
the kind of pure substance
and the
measure
of
the object
is
a third real number
kelvin degree
(s) and
the third real number
is
greater
than
the other real number
,
then
gas
is an
attribute
of
the object
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13562-13571
If
an object
is an
instance
of
a kind of pure substance
and
a kind of pure substance
is a
subclass
of
pure substance
and
a real number
kelvin degree
(s) is a
boiling
point of
the kind of pure substance
and
another real number
kelvin degree
(s) is a
melting
point of
the kind of pure substance
and the
measure
of
the object
is
a third real number
kelvin degree
(s) and
the third real number
is
greater
than
the other real number
and
the third real number
is
less
than
the real number
,
then
liquid
is an
attribute
of
the object
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13573-13582
If
an object
is an
instance
of
a kind of pure substance
and
a kind of pure substance
is a
subclass
of
pure substance
and
a real number
kelvin degree
(s) is a
melting
point of
the kind of pure substance
and
another real number
inch mercury
(s) is a
barometric
pressure of
the object
and
the other real number
is
greater
than 29.92 and the
measure
of
the object
is
a third real number
kelvin degree
(s) and
the third real number
is
less
than
the real number
,
then
solid
is an
attribute
of
the object
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
?T1
(
BeginFn
?Y1))
(
equal
?T2
(
BeginFn
?Y2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8592-8599
If
a time interval
is an
instance
of the
year
an integer
and
another time interval
is an
instance
of the
year
another integer
and
a time point
is
equal
to the
beginning
of
the time interval
and
another time point
is
equal
to the
beginning
of
the other time interval
and
the other integer
is
greater
than
the integer
,
then
the time point
happens
before
the other time point
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8601-8606
If
a time interval
is an
instance
of the
year
an integer
and
another time interval
is an
instance
of the
year
another integer
and
the other integer
is
greater
than
the integer
,
then
the time interval
happens
earlier
than
the other time interval
(=>
(
and
(
lengthOfBroadGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
BroadGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 191-199
If
a real number
an unit of measure
(s) is a
length
of broad gauge railway of
a geographic area
and
the unit of measure
is an
instance
of
UnitOfLength
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
broad gauge railway
and
the physical
is
located
at
the geographic area
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
attribute
?WATER
OpenSea
)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER
(
MeasureFn
?DIST
NauticalMile
))
(
greaterThan
?DIST 5.0)))
Geography.kif 4610-4618
Open sea
is an
attribute
of
an object
if and only if
the object
is an
instance
of
salt water area
and
the object
is not an
instance
of
landlocked water
and the
distance
between
a physical
and
the object
is
a real number
nautical mile
(s) and
the real number
is
greater
than 5.0
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 289-310
A real number
is an
average
of
a list
if and only if there exists
another list
such that
length
of
the other list
is
equal
to
length
of
the list
and 1th
element
of
the other list
is
equal
to 1th
element
of
the list
and for all
a positive integer
if
the positive integer
is a
member
of
the other list
,
then there exist
another real number
,
the other real number
MINUSONE,, ,
another positive integer
and
a third positive integer
such that
the other real number
is
greater
than 1 and
the other real number
is
less
than or equal to
length
of
the other list
and
the positive integer
th
element
of
the other list
is
equal
to
the other real number
and
the other positive integer
is a
member
of
the list
and
the other real number
is
equal
to
the other positive integer
th
element
of
the list
and
the third positive integer
is a
member
of
the other list
and
the other real number
MINUSONE is
equal
to (
the other real number
and 1) and
the other real number
MINUSONE is
equal
to
the third positive integer
th
element
of
the other list
and
the positive integer
is
equal
to (
the other positive integer
and
the third positive integer
)
and
a fourth positive integer
is
equal
to
length
of
the other list
and
the real number
is
equal
to
the fourth positive integer
th
element
of
the other list
and
the fourth positive integer
(<=>
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
greaterThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1825-1829
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
(<=>
(
instance
?NUMBER
PositiveRealNumber
)
(
and
(
greaterThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1877-1881
A real number
is an
instance
of
positive real number
if and only if
the real number
is
greater
than 0 and
the real number
is an
instance
of
real number
(<=>
(
larger
?OBJ1 ?OBJ2)
(
forall
(?QUANT1 ?QUANT2 ?UNIT)
(=>
(
and
(
measure
?OBJ1
(
MeasureFn
?QUANT1 ?UNIT))
(
measure
?OBJ2
(
MeasureFn
?QUANT2 ?UNIT))
(
instance
?UNIT
UnitOfLength
))
(
greaterThan
?QUANT1 ?QUANT2))))
Merge.kif 7662-7670
An object
is
larger
than
another object
if and only if for all
a real number
,
another real number
and
an unit of measure
if the
measure
of
the object
is
the real number
the unit of measure
(s) and the
measure
of
the other object
is
the other real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
UnitOfLength
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1757-1762
If
flat terrain
is an
attribute
of
an object
and
a land area
is a
part
of
the object
and
a nonnegative real number
is a
slope
gradient of
the land area
,
then 0.005 is
greater
than
the nonnegative real number
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1769-1774
If
low terrain
is an
attribute
of
an object
and
a land area
is a
part
of
the object
and
a nonnegative real number
is a
slope
gradient of
the land area
,
then 0.03 is
greater
than
the nonnegative real number
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1118-1129
If
family-style portions
is an
attribute
of
an object
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
family-style portions
is not an
attribute
of
another object
and the
measure
of
the other object
is
another real number
the unit of measure
(s) and
the object
is an
instance
of
a class
and
the other object
is an
instance
of
the class
and
the unit of measure
is an
instance
of
unit of measure
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 193-212
If
muslim
is an
attribute
of
an agent
and
value
of belongings of
the agent
is
equal
to
a currency measure
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
zakat
and
a fourth entity
is an
instance
of
year
and
the fourth entity
takes place
during
the
time
of existence of
the agent
and
fully formed
is an
attribute
of
the agent
holds
during
the fourth entity
and
the agent
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and
value
of
the other entity
is
a fifth entity
the third entity
(s) and
the third entity
is an
instance
of
UnitOfCurrency
and
the fifth entity
is
greater
than
the currency measure
and 0.025 has the
modal
force
of
obligation
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1164-1179
If
oversized
is an
attribute
of
an object
and
the object
is an
immediate
instance of
a class
and
the class
is a
subclass
of
hotel unit
,
then there exist
a physical
,
a real number
,, ,
another real number
and
an unit of measure
such that
the physical
is an
immediate
instance of
the class
and
the unit of measure
is an
instance
of
UnitOfArea
and the
measure
of
the physical
is
the real number
the unit of measure
(s) and the
measure
of
the object
is
the other real number
the unit of measure
(s) and
the real number
is an
instance
of
area measure
and
the other real number
is an
instance
of
area measure
and
the other real number
is
greater
than
the real number
(=>
(
and
(
capitalExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?CAPAMOUNT ?UNIT) ?PERIOD)
(
annualExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?TOTALAMOUNT ?UNIT) ?PERIOD))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1549-1555
If
a geopolitical area
capital
expenditures of area in period
a real number
an unit of measure
(s) for
a kind of time interval
and
the geopolitical area
annual
expenditures of area in period
another real number
the unit of measure
(s) for
a kind of time interval
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
forall
(?MO)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))))
(
greaterThan
10.0 ?TEMP))
Geography.kif 1526-1534
If
cold climate zone
is a
climate
type in area of
a geographic area
and for all
a time interval
the 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 10.0 is
greater
than
the real number
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1600-1606
If
polar typeF climate zone
is a
climate
type in area of
a geographic area
and
a time position
is an
instance
of
time position
and
an entity
celsius degree
(s) is an
air
temperature of
the geographic area
holds
during
the time position
,
then 10.0 is
greater
than
the entity
holds
during
the time position
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
If the damping ratio of
a physical system
is
a real number
and
the real number
is
greater
than 0 and
a time interval
is an
instance
of
tremor
and
the physical system
is a
patient
of
the time interval
and
an entity
is an
instance
of
UnitOfLength
and the amplitude
the time interval
is
another real number
the entity
(s) holds
during
the time interval
1 and the amplitude
the time interval
is
a third real number
the entity
(s) holds
during
the time interval
2 and
the time interval
1 takes place
during
the time interval
and
the time interval
2 takes place
during
the time interval
and
the time interval
1 happens
earlier
than
the time interval
2,
then
the other real number
is
greater
than
the third real number
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18172-18177
If The
defalutMaxValue
of
a predicate
with
a positive integer
arguments is
a quantity
. and
the predicate
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then the statement
the quantity
is
greater
than
the other entity
has the
modal
force
of
likely
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13002-13011
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
CompositeUnitOfMeasure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
greater
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13013-13024
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a class
is a
subclass
of
NonCompositeUnitOfMeasure
and
the unit of measure
is an
instance
of
the class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the class
and
the real number
UANTITY
the third entity
(s) is
greater
than
the real number
the unit of measure
(s) has the
modal
force
of
unlikely
(=>
(
and
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R))
Unlikely
))
Mid-level-ontology.kif 12952-12962
If the
maximum
expected radius of
a kind of object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
a kind of object
and
sphere
is an
attribute
of
the other object
,
then the statement the
radius
of
the other object
is
the real number
ADIUS
the unit of measure
(s) and
the real number
ADIUS is
greater
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY
(
MultiplicationFn
?Q 1.5))))
Unlikely
))
Mid-level-ontology.kif 13032-13041
If the expected
value
of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
CompositeUnitOfMeasure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
greater
than
the real number
and 1.5 has the
modal
force
of
unlikely
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18155-18160
If The
defaultMinValue
of
a predicate
with
a positive integer
arguments is
a quantity
. and
the predicate
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then the statement
the other entity
is
greater
than
the quantity
has the
modal
force
of
likely
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
If the idle speed of
an internal combustion engine
is the rotation of
a real number
miles per hour
(s) during
a time duration
and
an object
is an
instance
of
automobile
and
a process
is an
instance
of
gas pedal
and
the process
is an
instance
of
pushing
and
the process
end
s up at
another object
and
the internal combustion engine
is a
part
of
the object
and
the other object
is a
part
of
the object
and
a third object
is an
instance
of
Crankshaft
and
the third object
is a
part
of
the internal combustion engine
and the
measure
of
the third object
is the rotation of
an entity
miles per hour
(s) during
the time duration
holds
during
the
time
of existence of
the process
,
then the statement
the entity
is
greater
than
the real number
has the
modal
force
of
likely
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4778-4792
If the
greatest
common divisor of @ROW is
equal
to
an integer
and
the integer
is not
equal
to 0,
then there doesn't exist
another integer
such that
the other integer
is
greater
than
the integer
and for all
a third integer
if
the third integer
is a
member
of (@ROW),
then
the third integer
mod
the other integer
is
equal
to 0
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?P ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 17728-17742
If
an organization
is
equal
to the
department
of
a kind of physical
in
another organization
and
the organization
2 is a part of the organization
the other organization
and
the organization
is not
equal
to
the organization
2 and
an entity
is an
instance
of
a kind of physical
and
a cognitive agent
is
interested
in
the entity
and
the cognitive agent
1 is
equal
to the
probability
of
the organization
is an
agent
of
the cognitive agent
and
the cognitive agent
2 is
equal
to the
probability
of
the organization
2 is an
agent
of
the cognitive agent
,
then
the cognitive agent
1 is
greater
than
the cognitive agent
2
(=>
(
and
(
governorSpeed
?V ?Q)
(
equal
(
MeasureFn
?FAST
MilesPerHour
)
(
SpeedFn
?L1 ?T1))
(
equal
(
MeasureFn
?SLOW
MilesPerHour
)
(
SpeedFn
?L2 ?T2))
(
greaterThan
?FAST ?SLOW)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?FAST
MilesPerHour
))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?SLOW
MilesPerHour
)))))
(
greaterThan
?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
If the maximum speed allowed by
a governor
is
a function quantity
and
a real number
miles per hour
(s) is
equal
to
a length measure
per
a time duration
and
another real number
miles per hour
(s) is
equal
to
another length measure
per
another time duration
and
the real number
is
greater
than
the other real number
and
the real number
PROB is
equal
to the
probability
of the
measure
of
the governor
is
the real number
miles per hour
(s) and
the other real number
PROB is
equal
to the
probability
of the
measure
of
the governor
is
the other real number
miles per hour
(s),
then
the other real number
PROB is
greater
than
the real number
PROB
(=>
(
and
(
holdsDuring
?T
(
attribute
?F
Menopausal
))
(
birthdate
?F ?B)
(
equal
?A1
(
AdditionFn
(
YearDuration
49) ?B))
(
equal
?A2
(
AdditionFn
(
YearDuration
52) ?B))
(
equal
?START
(
BeginFn
?T)))
(
modalAttribute
(
and
(
greaterThan
?START ?A1)
(
greaterThan
?A2 ?START))
Likely
))
Mid-level-ontology.kif 23355-23372
If
menopause
is an
attribute
of
a human
holds
during
a time interval
and
a real number
is a
birthdate
of
the human
and
another real number
is
equal
to (
year duration
49 and
the real number
) and
a third real number
is
equal
to (
year duration
52 and
the real number
) and
a time point
is
equal
to the
beginning
of
the time interval
,
then the statement
the time point
is
greater
than
the other real number
and
the third real number
is
greater
than
the time point
has the
modal
force
of
likely
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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