lessThan
(=>
(
and
(
instance
?X
Kidnapping
)
(
instance
?G
GroupOfPeople
)
(
memberCount
?G ?N)
(
patient
?X ?G))
(
lessThan
?N 3))
Mid-level-ontology.kif 21952-21958
例
Process
and
綁架
例
Collection
and
一群人
Integer
是
Collection
的
member
計數
患者
Process
and
Collection
少於
Integer
and 3
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
LowIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
lessThan
?AMOUNT 756.0))))
Economy.kif 440-447
例
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
低收入國家
是
GeopoliticalArea
的
economy
類別
RealNumber
GeopoliticalArea
是 對於
TimeInterval
在週期
測量
RealNumber
and
美國美元
的
per
人頭 GDP
少於
RealNumber
and 756.0
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
LowerMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
lessThan
?AMOUNT 2996.0))))
Economy.kif 465-472
例
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
中低收入國家
是
GeopoliticalArea
的
economy
類別
RealNumber
GeopoliticalArea
是 對於
TimeInterval
在週期
測量
RealNumber
and
美國美元
的
per
人頭 GDP
少於
RealNumber
and 2996.0
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
UpperMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
lessThan
?AMOUNT 9267.0))))
Economy.kif 490-497
例
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
中上收入國家
是
GeopoliticalArea
的
economy
類別
RealNumber
GeopoliticalArea
是 對於
TimeInterval
在週期
測量
RealNumber
and
美國美元
的
per
人頭 GDP
少於
RealNumber
and 9267.0
(=>
(
attribute
?F
LongAndThin
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
length
?F
(
MeasureFn
?HF ?U))
(
length
?S1
(
MeasureFn
?H1 ?U))
(
length
?S2
(
MeasureFn
?H2 ?U))
(
lessThan
?H1
(
MultiplicationFn
3.0 ?HF))
(
lessThan
?H2
(
MultiplicationFn
3.0 ?HF)))))
Mid-level-ontology.kif 2803-2816
attribute
SelfConnectedObject
and
又長又瘦
SelfConnectedObject
SelfConnectedObject
,
RealNumber
,
RealNumber
,
RealNumber
and
UnitOfMeasure
側
SelfConnectedObject
and
SelfConnectedObject
側
SelfConnectedObject
and
SelfConnectedObject
空間的符合
SelfConnectedObject
and
SelfConnectedObject
等於
SelfConnectedObject
and
SelfConnectedObject
例
UnitOfMeasure
and
UnitOfLength
length
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
length
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
length
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
少於
RealNumber
and
乘法
3.0 and
RealNumber
少於
RealNumber
and
乘法
3.0 and
RealNumber
(=>
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
exists
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
temporalPart
?MO
WinterSeason
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
CelsiusDegree
))
(
lessThan
?AMOUNT -3.0))))
Geography.kif 1533-1541
寒冷氣候帶
是
GeographicArea
地區的
climate
類別
TimeInterval
RealNumber
例
TimeInterval
and
Month
時間部分
TimeInterval
and
冬季
1 對於 %3 在 %2 週期的
average
溫度
少於
RealNumber
and -3.0
(=>
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
exists
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
CelsiusDegree
))
(
greaterThanOrEqualTo
?AMOUNT -3.0)
(
lessThanOrEqualTo
?AMOUNT 18.0)
(
not
(
exists
(?M2 ?MT2)
(
and
(
instance
?M2
Month
)
(
averageTemperatureForPeriod
?AREA ?M2
(
MeasureFn
?MT2
CelsiusDegree
))
(
lessThan
?MT2 ?AMOUNT)))))))
Geography.kif 1428-1443
溫帶氣候區
是
GeographicArea
地區的
climate
類別
TimeInterval
RealNumber
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
大於或等於
RealNumber
and -3.0
小於或等於
RealNumber
and 18.0
TimeInterval
RealNumber
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
少於
RealNumber
and
RealNumber
(=>
(
climateTypeInArea
?AREA
TropicalClimateZone
)
(
exists
(?MO ?TEMP)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0)
(
not
(
exists
(?M2 ?MT2)
(
and
(
averageTemperatureForPeriod
?AREA ?M2
(
MeasureFn
?MT2
CelsiusDegree
))
(
lessThan
?MT2 ?TEMP)))))))
Geography.kif 1285-1298
熱帶氣候區
是
GeographicArea
地區的
climate
類別
TimeInterval
RealNumber
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
比較多
RealNumber
and 18.0
TimeInterval
RealNumber
1 對於 %3 在 %2 週期的
average
溫度
少於
RealNumber
and
RealNumber
(=>
(
dayPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 6)
(
lessThan
?Num 18)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3691-3711
AutonomousAgent
是
SymbolicString
的
day
電話
電話
entity
and
RealNumber
電話
是
SymbolicString
的
phone
號碼
比較多
RealNumber
and 6
少於
RealNumber
and 18
持有期間
例
entity
and
小時
RealNumber
and
Day
and
entity
例
entity
and
致電
目的地
entity
and
AutonomousAgent
患者
entity
and
電話
擁有
AutonomousAgent
and
電話
模態屬性
entity
例
entity
and
回答中
子過程
entity
and
entity
agent
entity
and
AutonomousAgent
and
容易
(=>
(
defaultMinimumHeight
?OBJECT
(
MeasureFn
?H ?U))
(
modalAttribute
(
exists
(?INST ?HEIGHT)
(
and
(
instance
?INST ?OBJECT)
(
height
?INST
(
MeasureFn
?HEIGHT ?U))
(
lessThan
?HEIGHT ?H)))
Unlikely
))
Mid-level-ontology.kif 13349-13357
Object
的
minimum
預期高度是
測量
RealNumber
and
UnitOfMeasure
模態屬性
entity
RealNumber
EIGHT
例
entity
and
Object
高度
entity
and
測量
RealNumber
EIGHT and
UnitOfMeasure
少於
RealNumber
EIGHT and
RealNumber
and
較不可能
(=>
(
defaultMinimumLength
?OBJECT
(
MeasureFn
?L ?U))
(
modalAttribute
(
exists
(?INST ?LENGTH)
(
and
(
instance
?INST ?OBJECT)
(
length
?INST
(
MeasureFn
?LENGTH ?U))
(
lessThan
?LENGTH ?L)))
Unlikely
))
Mid-level-ontology.kif 13415-13423
Object
的
minimum
預期長度是
測量
RealNumber
and
UnitOfMeasure
模態屬性
entity
RealNumber
ENGTH
例
entity
and
Object
length
entity
and
測量
RealNumber
ENGTH and
UnitOfMeasure
少於
RealNumber
ENGTH and
RealNumber
and
較不可能
(=>
(
defaultMinimumWidth
?OBJECT
(
MeasureFn
?W ?U))
(
modalAttribute
(
exists
(?INST ?WIDTH)
(
and
(
instance
?INST ?OBJECT)
(
width
?INST
(
MeasureFn
?WIDTH ?U))
(
lessThan
?WIDTH ?W)))
Unlikely
))
Mid-level-ontology.kif 13382-13390
Object
的
minimum
預期寬度是
測量
RealNumber
and
UnitOfMeasure
模態屬性
entity
RealNumber
IDTH
例
entity
and
Object
寬度
entity
and
測量
RealNumber
IDTH and
UnitOfMeasure
少於
RealNumber
IDTH and
RealNumber
and
較不可能
(=>
(
diseaseMortality
?DISEASE ?RATE)
(
and
(
greaterThan
?RATE 0.0)
(
lessThan
?RATE 1.0)))
WMD.kif 902-906
RealNumber
是
DiseaseOrSyndrome
的
disease
死亡
比較多
RealNumber
and 0.0
少於
RealNumber
and 1.0
(=>
(
equal
(
MinFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
or
(
and
(
equal
?NUMBER ?NUMBER1)
(
lessThan
?NUMBER1 ?NUMBER2))
(
and
(
equal
?NUMBER ?NUMBER2)
(
lessThan
?NUMBER2 ?NUMBER1))
(
and
(
equal
?NUMBER ?NUMBER1)
(
equal
?NUMBER ?NUMBER2))))
Merge.kif 5021-5032
等於
分
RealNumber
and
RealNumber
and
Number
等於
Number
and
RealNumber
少於
RealNumber
and
RealNumber
等於
Number
and
RealNumber
少於
RealNumber
and
RealNumber
等於
Number
and
RealNumber
等於
Number
and
RealNumber
(=>
(
eveningPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 18)
(
lessThan
?Num 6)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3735-3755
AutonomousAgent
是
SymbolicString
的
evening
電話
電話
entity
and
RealNumber
電話
是
SymbolicString
的
phone
號碼
比較多
RealNumber
and 18
少於
RealNumber
and 6
持有期間
例
entity
and
小時
RealNumber
and
Day
and
entity
例
entity
and
致電
目的地
entity
and
AutonomousAgent
患者
entity
and
電話
擁有
AutonomousAgent
and
電話
模態屬性
entity
例
entity
and
回答中
子過程
entity
and
entity
agent
entity
and
AutonomousAgent
and
容易
(=>
(
holdsDuring
?T
(
attribute
?H
LowBodyTemperature
))
(
holdsDuring
?T
(
and
(
measure
?H
(
MeasureFn
?N
FahrenheitDegree
))
(
lessThan
?N 97))))
Medicine.kif 5645-5652
持有期間
TimePosition
and
attribute
entity
and
LowBodyTemperature
持有期間
TimePosition
and
測量
entity
and
測量
entity
and
華氏度
少於
entity
and 97
(=>
(
holdsDuring
?TIME
(
and
(
instance
?TEEN
Teenager
)
(
age
?TEEN
(
MeasureFn
?NUMBER
YearDuration
))))
(
and
(
greaterThan
?NUMBER 12)
(
lessThan
?NUMBER 20)))
Mid-level-ontology.kif 323-330
持有期間
TimePosition
and
例
entity
and
青少年
年齡
entity
and
測量
RealNumber
and
年持續時間
比較多
RealNumber
and 12
少於
RealNumber
and 20
(=>
(
holdsDuring
?TIME
(
and
(
instance
?YOUTH
HumanYouth
)
(
age
?YOUTH
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThan
?NUMBER 18))
Mid-level-ontology.kif 252-257
持有期間
TimePosition
and
例
entity
and
人類青年
年齡
entity
and
測量
RealNumber
and
年持續時間
少於
RealNumber
and 18
(=>
(
instance
?AR
AcidRainfall
)
(
exists
(?RAIN ?PH)
(
and
(
instance
?RAIN
Water
)
(
patient
?AR ?RAIN)
(
measure
?RAIN
(
MeasureFn
?PH
PHValue
))
(
lessThan
?PH 5.0))))
Geography.kif 2509-2517
例
Process
and
酸雨
Physical
RealNumber
例
Physical
and
Water
患者
Process
and
Physical
測量
Physical
and
測量
RealNumber
and
酸鹼度
少於
RealNumber
and 5.0
(=>
(
instance
?FLOOD
FlashFlooding
)
(
exists
(?WATER ?HOUR)
(
and
(
instance
?WATER
WaterMotion
)
(
causes
?WATER ?FLOOD)
(
meetsTemporally
(
WhenFn
?WATER)
(
WhenFn
?FLOOD))
(
duration
(
WhenFn
?WATER)
(
MeasureFn
?HOUR
HourDuration
))
(
lessThan
?HOUR 6.0))))
Weather.kif 1630-1642
例
Process
and
山洪暴發
Process
RealNumber
例
Process
and
水運動
原因
Process
and
Process
短暫相遇
何時
Process
and
何時
Process
持續時間
何時
Process
and
測量
RealNumber
and
小時
少於
RealNumber
and 6.0
(=>
(
instance
?HOUR
(
HourFn
?NUMBER ?DAY))
(
lessThan
?NUMBER 24))
Merge.kif 8625-8627
例
Entity
and
小時
NonnegativeInteger
and
Day
少於
NonnegativeInteger
and 24
(=>
(
instance
?INT
Integer
)
(
lessThan
?INT
(
SuccessorFn
?INT)))
Merge.kif 5311-5313
例
Integer
and
Integer
少於
Integer
and
接班人
Integer
(=>
(
instance
?IV
IVBolusTherapy
)
(
and
(
duration
(
WhenFn
?IV)
(
MeasureFn
?N
MinuteDuration
))
(
lessThan
?N 5.0)))
Medicine.kif 6162-6168
例
Physical
and
IVBolusTherapy
持續時間
何時
Physical
and
測量
RealNumber
and
分鐘
少於
RealNumber
and 5.0
(=>
(
instance
?MINUTE
(
MinuteFn
?NUMBER ?HOUR))
(
lessThan
?NUMBER 60))
Merge.kif 8652-8654
例
Entity
and
分
NonnegativeInteger
and
Hour
少於
NonnegativeInteger
and 60
(=>
(
instance
?PROCESS
Blizzard
)
(
exists
(?AREA ?DIST)
(
and
(
instance
?AREA
GeographicArea
)
(
eventLocated
?PROCESS ?AREA)
(
visibilityInMeteorology
?AREA
(
WhenFn
?PROCESS)
(
MeasureFn
?DIST
Meter
))
(
lessThan
?DIST 400.0))))
Weather.kif 2642-2651
例
Process
and
暴風雪
Region
RealNumber
例
Region
and
GeographicArea
Process
是
located
在
Region
visibility
在
Region
期間
何時
Process
是
測量
RealNumber
and
儀表
少於
RealNumber
and 400.0
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners