WhenFn
(=>
(
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 23767-23778
例
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 23788-23799
例
Process
and
導致不快樂
患者
Process
and
Entity
持有期間
開始
何時
Process
and
attribute
Entity
and
不幸
持有期間
結束
何時
Process
and
attribute
Entity
and
不幸
(=>
(
and
(
instance
?C
Cavitating
)
(
instance
?P
Pump
)
(
attribute
?P
DeviceOn
)
(
attribute
?L1
Liquid
)
(
contains
?P ?L1))
(
exists
(?PP ?L2)
(
and
(
part
?PP ?P)
(
hasPurpose
?PP
(
and
(
attribute
?L2
Liquid
)
(
meetsSpatially
?L2 ?PP)))
(
holdsDuring
(
WhenFn
?C)
(
not
(
exists
(?L3)
(
and
(
attribute
?L3
Liquid
)
(
meetsSpatially
?PP ?L3))))))))
Cars.kif 1747-1767
例
Physical
and
Cavitating
例
SelfConnectedObject
and
泵
attribute
SelfConnectedObject
and
設備上
attribute
Object
and
液體
包含
SelfConnectedObject
and
Object
SelfConnectedObject
P
entity
部分
SelfConnectedObject
P and
SelfConnectedObject
有目的
SelfConnectedObject
P and
attribute
entity
and
液體
空間的符合
entity
and
SelfConnectedObject
P
持有期間
何時
Physical
and
entity
attribute
entity
and
液體
空間的符合
SelfConnectedObject
P and
entity
(=>
(
and
(
instance
?C
CheckingVitals
)
(
agent
?C ?A)
(
patient
?C ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?L
Lung
)
(
part
?L ?P)
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))
(
knows
?A
(
and
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))))
Medicine.kif 6505-6529
例
Process
and
CheckingVitals
agent
Process
and
CognitiveAgent
患者
Process
and
Object
例
心
and
心
部分
心
and
Object
例
肺
and
肺
部分
肺
and
Object
持有期間
何時
Process
and
systolicBloodPressure
Object
and
entity
diastolicBloodPressure
Object
and
entity
測量
Object
and
測量
entity
and
華氏度
heartRate
心
,
何時
Process
and
Integer
breathingRate
肺
,
何時
Process
and
Integer
知道
CognitiveAgent
and
持有期間
何時
Process
and
systolicBloodPressure
Object
and
entity
diastolicBloodPressure
Object
and
entity
測量
Object
and
測量
entity
and
華氏度
heartRate
心
,
何時
Process
and
Integer
breathingRate
肺
,
何時
Process
and
Integer
(=>
(
and
(
instance
?C
Chills
)
(
experiencer
?C ?H))
(
holdsDuring
(
WhenFn
?C)
(
attribute
?H
FeelingCold
)))
emotion.kif 1886-1892
例
Process
and
Chills
體驗者
Process
and
AutonomousAgent
持有期間
何時
Process
and
attribute
AutonomousAgent
and
FeelingCold
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?O ?T ?L)
(
and
(
instance
?O
Object
)
(
instance
?T
Trachea
)
(
instance
?L
Lung
)
(
part
?T ?H)
(
part
?L ?H)
(
holdsDuring
(
WhenFn
?C)
(
or
(
located
?O ?T)
(
located
?O ?L))))))
Mid-level-ontology.kif 11753-11768
例
Process
and
Choking
體驗者
Process
and
AutonomousAgent
Entity
Object
and
Object
例
Entity
and
Object
例
Object
and
Trachea
例
Object
and
肺
部分
Object
and
AutonomousAgent
部分
Object
and
AutonomousAgent
持有期間
何時
Process
and
位於
Entity
and
Object
位於
Entity
and
Object
(=>
(
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
ComputerBackingUp
)
(
dataProcessed
?C ?DD)
(
instance
?DD
DigitalData
)
(
agent
?C ?A))
(
desires
?A
(
exists
(?T)
(
and
(
earlier
(
WhenFn
?C) ?T)
(
holdsDuring
(?T)
(
exists
(?PROC)
(
and
(
instance
?PROC
ComputerProcess
)
(
capability
?PROC
dataProcessed
?DD))))))))
ComputingBrands.kif 3496-3510
例
電腦程序
and
ComputerBackingUp
數字數據
是由
電腦程序
processed
例
數字數據
and
數字數據
agent
電腦程序
and
CognitiveAgent
慾望
CognitiveAgent
and
entity
早期
何時
電腦程序
and
entity
持有期間
entity
and
entity
例
entity
and
電腦程序
能力
entity
,
數據已處理
and
數字數據
(=>
(
and
(
instance
?C
Convoy
)
(
member
?VEH ?C))
(
exists
(?DRIVE)
(
and
(
instance
?DRIVE
Driving
)
(
overlapsTemporally
(
WhenFn
?DRIVE)
(
WhenFn
?C))
(
patient
?DRIVE ?VEH))))
Mid-level-ontology.kif 22347-22355
例
Collection
and
護航
會員
Physical
and
Collection
Process
例
Process
and
Driving
暫時重疊
何時
Process
and
何時
Collection
患者
Process
and
Physical
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6055-6074
例
Process
and
Coughing
體驗者
Process
and
AutonomousAgent
有目的
Process
and
entity
entity
,
entity
and
entity
例
entity
and
肺
例
entity
and
喉
例
entity
and
Object
例
entity
and
Removing
部分
entity
and
AutonomousAgent
部分
entity
and
AutonomousAgent
objectTransferred
entity
and
entity
持有期間
不久的過去
何時
Process
and
位於
entity
and
entity
位於
entity
and
entity
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29746-29753
例
Process
and
Covering
患者
Process
and
Entity
儀器
Process
and
Object
持有期間
眼前的未來
何時
Process
and
covers
Object
and
Entity
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
hasPurpose
?C
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))
(
not
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))))))
Medicine.kif 767-785
例
Process
and
Cricothyroidotomy
患者
Process
and
Entity
有目的
Process
and
持有期間
不久的過去
何時
Process
and
entity
例
entity
and
ImpairmentFn
Breathing
患者
entity
and
Entity
持有期間
眼前的未來
何時
Process
and
entity
例
entity
and
ImpairmentFn
Breathing
患者
entity
and
Entity
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
例
Process
and
Cricothyroidotomy
患者
Process
and
Entity
持有期間
結束
何時
Process
and
entity
例
entity
and
HoleRegion
等於
entity
and
洞主持人
entity
例
entity
and
喉
部分
entity
and
Entity
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
holdsDuring
(
WhenFn
?C)
(
attribute
?H
Sadness
)))
emotion.kif 1141-1147
例
Process
and
Crying
體驗者
Process
and
AutonomousAgent
持有期間
何時
Process
and
attribute
AutonomousAgent
and
Sadness
(=>
(
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
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6121-6139
例
Process
and
Sneezing
體驗者
Process
and
AutonomousAgent
有目的
Process
and
entity
entity
,
entity
OSE and
entity
例
entity
and
NasalCavity
例
entity
OSE and
鼻子
等於
entity
OSE and
洞主持人
entity
例
entity
and
Object
例
entity
and
Removing
部分
entity
OSE and
AutonomousAgent
objectTransferred
entity
and
entity
持有期間
不久的過去
何時
Process
and
位於
entity
and
entity
(=>
(
and
(
instance
?CATCH
Catching
)
(
agent
?CATCH ?AGENT)
(
patient
?CATCH ?BALL))
(
holdsDuring
(
EndFn
(
WhenFn
?CATCH))
(
grasps
?AGENT ?BALL)))
Mid-level-ontology.kif 17111-17116
例
Process
and
捕
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
結束
何時
Process
and
掌握
AutonomousAgent
and
Entity
(=>
(
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 11678-11688
例
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 12621-12632
例
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
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2196-2203
例
Process
and
CheckInService
原因
Process
and
Process
例
Physical
and
CheckOutService
飾面
何時
Physical
and
何時
Process
(=>
(
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 12658-12672
例
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
?COMM
LinguisticCommunication
)
(
agent
?COMM ?AGENT)
(
patient
?COMM ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
holdsDuring
(
WhenFn
?COMM)
(
states
?AGENT ?SENTENCE)))
Media.kif 1836-1842
例
Process
and
語言交流
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Entity
and
Sentence
持有期間
何時
Process
and
AutonomousAgent
states
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 14001-14009
例
Process
and
Condensing
患者
Process
and
Object
Object
部分
Object
and
Object
持有期間
開始
何時
Process
and
attribute
Object
and
加油站
持有期間
結束
何時
Process
and
attribute
Object
and
液體
(=>
(
and
(
instance
?CONDUCT
MusicalConducting
)
(
agent
?CONDUCT ?AGENT))
(
holdsDuring
(
WhenFn
?CONDUCT)
(
attribute
?AGENT
MusicalConductor
)))
Media.kif 1867-1871
例
Process
and
MusicalConducting
agent
Process
and
AutonomousAgent
持有期間
何時
Process
and
attribute
AutonomousAgent
and
MusicalConductor
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