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
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 1852-1854
(
documentation
greaterThan
JapaneseLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1 が
Quantity
?NUMBER2よりも大きい場合に当てはまる。")
japanese_format.kif 339-340
(
domain
greaterThan
1
RealNumber
)
Merge.kif 1848-1848
The number 1 argument of
greater than
is an
instance
of
real number
(
domain
greaterThan
2
RealNumber
)
Merge.kif 1849-1849
The number 2 argument of
greater than
is an
instance
of
real number
(
instance
greaterThan
BinaryPredicate
)
Merge.kif 1842-1842
greater than
is an
instance
of
binary predicate
(
instance
greaterThan
IrreflexiveRelation
)
Merge.kif 1845-1845
greater than
is an
instance
of
irreflexive relation
(
instance
greaterThan
RelationExtendedToQuantities
)
Merge.kif 1846-1846
greater than
is an
instance
of
relation extended to quantities
(
instance
greaterThan
TotalValuedRelation
)
Merge.kif 1843-1843
greater than
is an
instance
of
total valued relation
(
instance
greaterThan
TransitiveRelation
)
Merge.kif 1844-1844
greater than
is an
instance
of
transitive relation
(
inverse
greaterThan
lessThan
)
Merge.kif 1850-1850
greater than
is an
inverse
of
less than
(
trichotomizingOn
greaterThan
RealNumber
)
Merge.kif 1847-1847
greater than
is
trichotomizing
on
real number
appearance as argument number 2
(
comparativeArea
SouthernOcean
greaterThan
2.0
UnitedStates
)
Geography.kif 4676-4676
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
(
format
FrenchLanguage
greaterThan
"%1 est %n plus grand que %2")
french_format.kif 77-77
(
format
ItalianLanguage
greaterThan
"%1 è %n più grande di %2")
relations-it.txt 121-121
(
format
JapaneseLanguage
greaterThan
"%1 は %2 より greater では %n")
japanese_format.kif 1904-1904
(
format
PortugueseLanguage
greaterThan
"%1 e' %n maior que %2")
portuguese_format.kif 29-29
(
format
cz
greaterThan
"%1 %p{je} %n{nen�} v�t�� ne� %2")
relations-cz.txt 77-77
(
format
de
greaterThan
"%1 ist groesserAls %2 %n{nicht}")
relations-de.txt 127-127
(
format
hi
greaterThan
"%1 %2 se badaa %n hai")
relations-hindi.txt 161-161
(
format
ro
greaterThan
"%1 %n{nu} este greater%t{mai mare} decât %2")
relations-ro.kif 96-96
(
format
sv
greaterThan
"%1 är %n{inte} större än %2")
relations-sv.txt 76-76
(
format
tg
greaterThan
"%1 %n ay mas malaki sa %2")
relations-tg.txt 248-248
(
termFormat
ChineseLanguage
greaterThan
"大于")
chinese_format.kif 112-112
(
termFormat
ChineseLanguage
greaterThan
"比较多")
domainEnglishFormat.kif 26532-26532
(
termFormat
ChineseTraditionalLanguage
greaterThan
"比較多")
domainEnglishFormat.kif 26531-26531
(
termFormat
EnglishLanguage
greaterThan
"greater than")
domainEnglishFormat.kif 26530-26530
(
termFormat
de
greaterThan
"groesserAls")
terms-de.txt 37-37
(
termFormat
tg
greaterThan
"mas malaki sa")
relations-tg.txt 249-249
antecedent
(<=>
(
and
(
instance
?Account
PersonalAccount
)
(
greaterThan
(
CardinalityFn
(
KappaFn
?Agent
(
accountHolder
?Account ?Agent))) 1))
(
instance
?Account
JointAccount
))
FinancialOntology.kif 1007-1011
An entity
is an
instance
of
personal account
and the number of
instances
in the
class
described by
a symbolic string
is
greater
than 1 if and only if
the entity
is an
instance
of
joint account
(<=>
(
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 7440-7451
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
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
If
an agent
breathes
at a rate of
an integer
breaths per
a time interval
and
the time interval
is an
instance
of
minute
and there doesn't exist
the integer
such that
the integer
is an
instance
of
recreation or exercise
and
the agent
is an
agent
of
the integer
and
the time interval
takes place
during
the
time
of existence of
the integer
and
human adult
is an
attribute
of
the agent
holds
during
the time interval
and
the integer
is
greater
than 16 or
the integer
is
less
than 12,
then
healthy
is not an
attribute
of
the agent
holds
during
the time interval
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1370-1377
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
unit of length
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 15561-15578
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 3278-3285
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 3259-3269
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 3050-3071
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 3191-3203
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 1437-1449
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 2867-2885
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
?AGENT ?CLASS)
(
lethalDose
?CLASS
(
MeasureFn
?NUMBER ?UNIT))
(
greaterThan
?NUMBER 0.0))
(
instance
?AGENT
LifeThreateningAgent
))
WMD.kif 1017-1023
If
an entity
is an
instance
of
a kind of biochemical agent
and
a real number
an unit of measure
(s) is a
lethal
dose of
a kind of biochemical agent
and
the real number
is
greater
than 0.0,
then
the entity
is an
instance
of
life threatening agent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))
(
climateTypeInArea
?AREA
PolarClimateZone
))
Geography.kif 1575-1582
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
AutonomousAgent
)
(
instance
?BIDDER2
AutonomousAgent
)
(
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 354-365
If
a process
is an
instance
of
auctioning
and
an agent
is an
instance
of
agent
and
another agent
is an
instance
of
agent
and
an object
is an
instance
of
object
and
an unit of measure
is an
instance
of
unit of currency
and
the object
is a
patient
of
the process
and
the agent
bids
a real number
the unit of measure
(s) for
the object
and
the other agent
bids
another real number
the unit of measure
(s) for
the object
and
the real number
is
greater
than
the other real number
,
then
the process
end
s up at
the agent
(=>
(
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 8758-8765
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 8767-8772
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 3123-3128
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
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
If
a musical tone
is an
instance
of
musical tone
and the
frequency
of
the musical tone
is
a real number
hertz
(s) and the
sound
of
the musical tone
is
another real number
dB(A)
(s) and
the musical tone
is
located
at the place
where
a human
was at the
beginning
of the
time
of existence of
the musical tone
and
a third real number
is
greater
than
the other real number
and
the other real number
is
greater
than
a fourth real number
and
the real number
is
greater
than 250 and 8000 is
greater
than
the real number
and
the human
is an
instance
of
human
and
a process
is an
instance
of
listening
and
the human
is an
agent
of
the process
,
then
the human
can hear frequency of
the third real number
dB(A)
(s) at
the fourth real number
dB(A)
(s) decibels
(=>
(
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 13909-13924
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
unit of temperature
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 1382-1389
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
red flag swimming condition
is an
attribute
of
the water area
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
If
a time interval
is an
instance
of
TimePeriod
and
duration
of
the time interval
is
a real number
minute duration
(s) and
the real number
is
greater
than 5.0 and
an entity
is an
instance
of
human
and there doesn't exist
a process
such that
the process
is an
instance
of
breathing
and the
time
of existence of
the process
takes place
during
the time interval
and
the entity
is a
patient
of
the process
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
death
and
the entity
experience
s
the other entity
and
the time interval
meet
s the
time
of existence of
the other entity
has the
modal
force
of
likely
(=>
(
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 13844-13853
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
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
attribute
?WATER
OpenSea
)
(
exists
(?LAND ?DIST)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER
(
MeasureFn
?DIST
NauticalMile
))
(
greaterThan
?DIST 5.0))))
Geography.kif 4711-4720
Open sea
is an
attribute
of
an object
if and only if there exist
a physical
and
a real number
such that
the object
is an
instance
of
salt water area
and
the object
is not an
instance
of
landlocked water
and the
distance
between
the physical
and
the object
is
the real number
nautical mile
(s) and
the real number
is
greater
than 5.0
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2 ?LASTPLACE)
(
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 272-293
A real number
is an
average
of
a list
if and only if there exist
another list
and
a positive integer
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
another positive integer
if
the other positive integer
is a
member
of
the other list
,
then there exist
another real number
,
the other real number
MINUSONE,, ,
a third positive integer
and
a fourth 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 other positive integer
th
element
of
the other list
is
equal
to
the other real number
and
the third positive integer
is a
member
of
the list
and
the other real number
is
equal
to
the third positive integer
th
element
of
the list
and
the fourth 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 fourth positive integer
th
element
of
the other list
and
the other positive integer
is
equal
to (
the third positive integer
and
the fourth positive integer
)
and
the positive integer
is
equal
to
length
of
the other list
and
the real number
is
equal
to
the positive integer
th
element
of
the other list
and
the positive integer
(<=>
(
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
(<=>
(
instance
?NUMBER
PositiveRealNumber
)
(
and
(
greaterThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1937-1941
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 7794-7802
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
unit of length
,
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 1754-1759
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 1766-1771
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 1165-1176
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 ?Y ?C)
(
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 204-223
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
,, ,
a third entity
,, ,
a fourth entity
and
a fifth entity
such that
the entity
is an
instance
of
zakat
and
the 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
the fifth entity
the third entity
(s) and
the third entity
is an
instance
of
unit of currency
and
the fifth entity
is
greater
than
the currency measure
and 0.025 has the
modal
force
of
obligation
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
If
attention deficit hyperactivity disorder
is an
attribute
of
an agent
and
attention deficit hyperactivity disorder
is not an
attribute
of
another agent
and
the agent
is not
equal
to
the other agent
and
a process
is an
instance
of
a class
and
another process
is an
instance
of
the class
and
the class
is a
subclass
of
intentional psychological process
and
the agent
is an
agent
of
the process
and
the other agent
is an
agent
of
the other process
and
duration
of the
time
of existence of
the process
is
a time duration
and
duration
of the
time
of existence of
the other process
is
another time duration
,
then the statement
the other time duration
is
greater
than
the time duration
has the
modal
force
of
likely
(=>
(
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 1186-1201
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
unit of area
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
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24293-24303
If
a day
is a
birthdate
of
a human
and
the day
is an
instance
of the
day
a positive integer
,
then there exist
another kind of day
and
an integer
such that
the human
's
birthday
is
another kind of day
and
the other kind of day
is a
subclass
of
day
and
the integer
is an
instance
of
integer
and
the other kind of day
is
equal
to the
day
the positive integer
and
the integer
is
greater
than
another integer
(=>
(
and
(
capitalExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?CAPAMOUNT ?UNIT) ?PERIOD)
(
annualExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?TOTALAMOUNT ?UNIT) ?PERIOD))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1538-1544
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 1522-1530
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 1597-1603
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
unit of length
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 18525-18530
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 13563-13572
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
composite unit of measure
,
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 13574-13585
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
non composite unit of measure
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
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13513-13524
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 there exists
the real number
ADIUS such that 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 13593-13602
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
composite unit of measure
,
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 18508-18513
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 2568-2586
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 4875-4889
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
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18370-18385
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
the organization
is
interested
in
the entity
and
a real number
is
equal
to the
probability
of
the organization
is an
agent
of
another entity
and
the other entity
2 is
equal
to the
probability
of
the organization
2 is an
agent
of
the other entity
,
then
the real number
is
greater
than
the other entity
2
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