BeginFn
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13933-13941
例
Process
and
Boiling
患者
Process
and
Object
Object
部分
Object
and
Object
持有期間
開始
何時
Process
and
attribute
Object
and
液體
持有期間
結束
何時
Process
and
attribute
Object
and
加油站
(=>
(
and
(
instance
?C
CausingHappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Happiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Happiness
))))
Mid-level-ontology.kif 23768-23779
例
Process
and
引起幸福
患者
Process
and
Entity
持有期間
開始
何時
Process
and
attribute
Entity
and
幸福
持有期間
結束
何時
Process
and
attribute
Entity
and
幸福
(=>
(
and
(
instance
?C
CausingUnhappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Unhappiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Unhappiness
))))
Mid-level-ontology.kif 23789-23800
例
Process
and
導致不快樂
患者
Process
and
Entity
持有期間
開始
何時
Process
and
attribute
Entity
and
不幸
持有期間
結束
何時
Process
and
attribute
Entity
and
不幸
(=>
(
and
(
instance
?C
ChurningButter
)
(
instance
?E
Emulsion
)
(
patient
?C ?E))
(
exists
(?M ?B)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
and
(
equal
?E ?M)
(
instance
?M
Milk
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
and
(
equal
?E ?B)
(
instance
?B
Butter
))))))
Food.kif 3076-3094
例
Process
and
ChurningButter
例
Entity
and
乳膠
患者
Process
and
Entity
entity
entity
持有期間
開始
何時
Process
and
等於
Entity
and
entity
例
entity
and
奶
持有期間
結束
何時
Process
and
等於
Entity
and
entity
例
entity
and
奶油
(=>
(
and
(
instance
?C
CurdlingMilk
)
(
instance
?M
Milk
)
(
patient
?C ?M))
(
exists
(?PH ?D ?H ?L)
(
and
(
measure
?M
(
MeasureFn
?PH
PHValue
))
(
instance
?D
Decreasing
)
(
subProcess
?D ?C)
(
patient
?D ?PH)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
equal
?PH ?H)
(
approximateValue
?H 6.5))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
equal
?PH ?L)
(
approximateValue
?L 4.5)))))
Food.kif 3226-3247
例
Process
and
CurdlingMilk
例
Physical
and
奶
患者
Process
and
Physical
RealNumber
Process
,
entity
and
entity
測量
Physical
and
測量
RealNumber
and
酸鹼度
例
Process
and
Decreasing
子過程
Process
and
Process
患者
Process
and
RealNumber
持有期間
開始
何時
Process
,
等於
RealNumber
and
entity
and
approximateValue
entity
and 6.5
持有期間
結束
何時
Process
,
等於
RealNumber
and
entity
and
approximateValue
entity
and 4.5
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
origin
?CHANGE ?AGENT1)
(
destination
?CHANGE ?AGENT2)
(
instance
?AGENT1
AutonomousAgent
)
(
instance
?AGENT2
AutonomousAgent
)
(
patient
?CHANGE ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ))))
Merge.kif 11656-11666
例
Process
and
ChangeOfPossession
起源
Process
and
Object
目的地
Process
and
Entity
例
Object
and
AutonomousAgent
例
Entity
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
擁有
Object
and
Entity
持有期間
結束
何時
Process
and
擁有
Entity
and
Entity
(=>
(
and
(
instance
?CHANGE
InternalChange
)
(
patient
?CHANGE ?OBJ))
(
exists
(?PROPERTY)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))))))
Merge.kif 12599-12610
例
Process
and
InternalChange
患者
Process
and
Entity
entity
持有期間
開始
何時
Process
and
attribute
Entity
and
entity
持有期間
結束
何時
Process
and
attribute
Entity
and
entity
持有期間
開始
何時
Process
and
attribute
Entity
and
entity
持有期間
結束
何時
Process
and
attribute
Entity
and
entity
(=>
(
and
(
instance
?CLOSE
ClosingGraphicalWindow
)
(
patient
?CLOSE ?WINDOW))
(
and
(
instance
?WINDOW
InterfaceWindow
)
(
time
?WINDOW
(
BeginFn
(
WhenFn
?OPEN)))
(
not
(
time
?WINDOW
(
EndFn
(
WhenFn
?OPEN))))))
ComputerInput.kif 2438-2445
例
Process
and
ClosingGraphicalWindow
患者
Process
and
Physical
例
Physical
and
InterfaceWindow
時間
Physical
and
開始
何時
Physical
時間
Physical
and
結束
何時
Physical
(=>
(
and
(
instance
?COLORING
Coloring
)
(
patient
?COLORING ?OBJ))
(
exists
(?PROPERTY ?PART)
(
and
(
part
?PART ?OBJ)
(
instance
?PROPERTY
ColorAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12636-12650
例
Process
and
Coloring
患者
Process
and
Object
Entity
Object
部分
Object
and
Object
例
Entity
and
ColorAttribute
持有期間
開始
何時
Process
and
attribute
Object
and
Entity
持有期間
結束
何時
Process
and
attribute
Object
and
Entity
持有期間
開始
何時
Process
and
attribute
Object
and
Entity
持有期間
結束
何時
Process
and
attribute
Object
and
Entity
(=>
(
and
(
instance
?COND
Condensing
)
(
patient
?COND ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?COND))
(
attribute
?PART
Gas
))
(
holdsDuring
(
EndFn
(
WhenFn
?COND))
(
attribute
?PART
Liquid
)))))
Merge.kif 13979-13987
例
Process
and
Condensing
患者
Process
and
Object
Object
部分
Object
and
Object
持有期間
開始
何時
Process
and
attribute
Object
and
加油站
持有期間
結束
何時
Process
and
attribute
Object
and
液體
(=>
(
and
(
instance
?COOL
Cooling
)
(
patient
?COOL ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
instance
?UNIT
TemperatureMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
lessThan
?QUANT2 ?QUANT1))))
Merge.kif 10961-10974
例
Process
and
Cooling
患者
Process
and
Entity
Entity
RealNumber
and
RealNumber
例
Entity
and
TemperatureMeasure
持有期間
開始
何時
Process
and
等於
測量
Entity
and
Entity
and
RealNumber
持有期間
結束
何時
Process
and
等於
測量
Entity
and
Entity
and
RealNumber
少於
RealNumber
and
RealNumber
(=>
(
and
(
instance
?D
Decelerating
)
(
agent
?D ?A))
(
exists
(?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L1 ?U1)
(
MeasureFn
?T1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L2 ?U1)
(
MeasureFn
?T2 ?U2))))
(
or
(
greaterThan
?L1 ?L2)
(
greaterThan
?T1 ?T2)))))
Mid-level-ontology.kif 17171-17191
例
Process
and
減速
agent
Process
and
AutonomousAgent
RealNumber
RealNumber
,
RealNumber
,
RealNumber
,
entity
and
entity
持有期間
開始
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
持有期間
結束
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?D
Dismounting
)
(
agent
?D ?A)
(
patient
?D ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
orientation
?A ?O
On
))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
orientation
?A ?O
On
)))))
Mid-level-ontology.kif 20003-20015
例
Process
and
拆卸
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
方位
AutonomousAgent
,
Entity
and
上
持有期間
結束
何時
Process
and
方位
AutonomousAgent
,
Entity
and
上
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?DEPOSITION))
(
attribute
?PART
Gas
))
(
holdsDuring
(
EndFn
(
WhenFn
?DEPOSITION))
(
attribute
?PART
Solid
))
(
not
(
holdsDuring
(
WhenFn
?DEPOSITION)
(
attribute
?PART
Liquid
))))))
Geography.kif 6997-7014
例
Process
and
Deposition
患者
Process
and
Object
Object
部分
Object
and
Object
持有期間
開始
何時
Process
and
attribute
Object
and
加油站
持有期間
結束
何時
Process
and
attribute
Object
and
固體
持有期間
何時
Process
and
attribute
Object
and
液體
(=>
(
and
(
instance
?DESERTIFICATION
Desertification
)
(
eventLocated
?DESERTIFICATION ?AREA))
(
exists
(?A1 ?A2)
(
and
(
instance
?A1
ArableLand
)
(
instance
?A2
Desert
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A1))
(
holdsDuring
(
EndFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A2)))))
Weather.kif 2492-2505
例
Process
and
荒漠化
Process
是
located
在
Object
Entity
Entity
例
Entity
and
耕地
例
Entity
and
沙漠
持有期間
開始
何時
Process
and
在空間上重疊
Object
and
Entity
持有期間
結束
何時
Process
and
在空間上重疊
Object
and
Entity
(=>
(
and
(
instance
?DETACH
Detaching
)
(
patient
?DETACH ?OBJ1)
(
patient
?DETACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DETACH))
(
connected
?OBJ1 ?OBJ2))
(
holdsDuring
(
EndFn
(
WhenFn
?DETACH))
(
not
(
connected
?OBJ1 ?OBJ2)))))
Merge.kif 12408-12415
例
Process
and
Detaching
患者
Process
and
Entity
患者
Process
and
Entity
持有期間
開始
何時
Process
and
連接的
Entity
and
Entity
持有期間
結束
何時
Process
and
連接的
Entity
and
Entity
(=>
(
and
(
instance
?DRESS
Dressing
)
(
agent
?DRESS ?AGENT)
(
patient
?DRESS ?CLOTHING))
(
and
(
instance
?CLOTHING
Clothing
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DRESS))
(
not
(
wears
?AGENT ?CLOTHING)))
(
holdsDuring
(
EndFn
(
WhenFn
?DRESS))
(
wears
?AGENT ?CLOTHING))))
Mid-level-ontology.kif 5503-5518
例
Process
and
調味料
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Entity
and
Clothing
持有期間
開始
何時
Process
and
穿
AutonomousAgent
and
Entity
持有期間
結束
何時
Process
and
穿
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?DRILL
Drilling
)
(
patient
?DRILL ?OBJ))
(
exists
(?HOLE)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DRILL))
(
not
(
hole
?HOLE ?OBJ)))
(
holdsDuring
(
EndFn
(
WhenFn
?DRILL))
(
hole
?HOLE ?OBJ)))))
Mid-level-ontology.kif 18099-18106
例
Process
and
鑽孔
患者
Process
and
Entity
entity
持有期間
開始
何時
Process
and
hole
entity
and
Entity
持有期間
結束
何時
Process
and
hole
entity
and
Entity
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?OR)
(
agent
?EV ?A))
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
geographicSubregion
?OR
(
WhereFn
?P
(
BeginFn
(
WhenFn
?EV))))
(
causes
?P ?EV)
(
believes
?A
(
attribute
?P
Dangerous
)))))
MilitaryProcesses.kif 2516-2530
例
Process
and
疏散
起源
Process
and
GeographicArea
agent
Process
and
CognitiveAgent
Process
例
Process
and
Process
GeographicArea
是
哪裡
Process
and
開始
何時
Process
的
geographic
次要地區
原因
Process
and
Process
相信
CognitiveAgent
and
attribute
Process
and
危險
(=>
(
and
(
instance
?EVAP
Evaporating
)
(
boilingPoint
?CLASS
(
MeasureFn
?BOILVAL ?MEAS))
(
instance
?OBJ ?CLASS)
(
measure
?OBJ
(
MeasureFn
?VAL ?MEAS))
(
instance
?MEAS
UnitOfTemperature
)
(
patient
?EVAP ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
greaterThan
?BOILVAL ?VAL)
(
holdsDuring
(
BeginFn
(
WhenFn
?EVAP))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?EVAP))
(
attribute
?PART
Gas
)))))
Merge.kif 13953-13966
例
Process
and
蒸發
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
boiling
點
例
Object
and
PureSubstance
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfTemperature
患者
Process
and
Object
Object
部分
Object
and
Object
比較多
RealNumber
and
RealNumber
持有期間
開始
何時
Process
and
attribute
Object
and
液體
持有期間
結束
何時
Process
and
attribute
Object
and
加油站
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
origin
?EXPORT ?AREA))
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2412-2419
例
Process
and
出口
患者
Process
and
Entity
例
Object
and
GeopoliticalArea
起源
Process
and
Object
持有期間
開始
何時
Process
and
位於
Entity
and
Object
(=>
(
and
(
instance
?F
Flooding
)
(
eventLocated
?F ?P))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 17585-17600
例
Process
and
洪水
Process
是
located
在
Object
RealNumber
RealNumber
and
Entity
例
Entity
and
UnitOfLength
持有期間
開始
何時
Process
and
測量
RealNumber
and
Entity
是
Object
的
water
深度
持有期間
結束
何時
Process
and
測量
RealNumber
and
Entity
是
Object
的
water
深度
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?FIRE
TerminatingEmployment
)
(
instance
?ORG
Organization
)
(
agent
?FIRE ?ORG)
(
patient
?FIRE ?PERSON))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?FIRE))
(
employs
?ORG ?PERSON))
(
holdsDuring
(
EndFn
(
WhenFn
?FIRE))
(
not
(
employs
?ORG ?PERSON)))))
Merge.kif 10740-10748
例
Process
and
TerminatingEmployment
例
AutonomousAgent
and
Organization
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
採用
AutonomousAgent
and
Entity
持有期間
結束
何時
Process
and
採用
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?FLYING
Flying
)
(
patient
?FLYING ?ALM)
(
instance
?ALM
AirLaunchMissile
))
(
exists
(?REGION)
(
and
(
instance
?REGION
AtmosphericRegion
)
(
holdsDuring
(
BeginFn
(
WhenFn
?FLYING))
(
located
?ALM ?REGION)))))
MilitaryDevices.kif 944-955
例
Process
and
飛行
患者
Process
and
Entity
例
Entity
and
空中發射導彈
Entity
例
Entity
and
大氣地區
持有期間
開始
何時
Process
and
位於
Entity
and
Entity
(=>
(
and
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?FREEZE))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?FREEZE))
(
attribute
?PART
Solid
)))))
Merge.kif 14000-14008
例
Process
and
Freezing
患者
Process
and
Object
Object
部分
Object
and
Object
持有期間
開始
何時
Process
and
attribute
Object
and
液體
持有期間
結束
何時
Process
and
attribute
Object
and
固體
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