experiencer
(=>
(
and
(
instance
?I
Insomnia
)
(
experiencer
?I ?H))
(
exists
(?S ?D ?D2)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
duration
(
WhenFn
?S) ?D)
(
desires
?H
(
and
(
duration
(
WhenFn
?S) ?D2)
(
greaterThan
?D2 ?D))))))
Mid-level-ontology.kif 16447-16459
例
Process
and
Insomnia
體驗者
Process
and
CognitiveAgent
Process
TimeDuration
and
TimeDuration
例
Process
and
Sleeping
體驗者
Process
and
CognitiveAgent
持續時間
何時
Process
and
TimeDuration
慾望
CognitiveAgent
and
持續時間
何時
Process
and
TimeDuration
比較多
TimeDuration
and
TimeDuration
(=>
(
and
(
instance
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18621-18639
例
Process
and
繼承
agent
Process
and
CognitiveAgent
起源
Process
and
AutonomousAgent
患者
Process
and
Entity
Process
例
Process
and
Death
體驗者
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Process
持有期間
不久的過去
何時
Process
and
擁有
AutonomousAgent
and
Entity
賦予權利
擁有
CognitiveAgent
and
Entity
,
AutonomousAgent
and
CognitiveAgent
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?OBJ))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?OBJ)
(
causes
?KILL ?DEATH))))
Merge.kif 12313-12321
例
Process
and
Killing
患者
Process
and
AutonomousAgent
Process
例
Process
and
Death
體驗者
Process
and
AutonomousAgent
原因
Process
and
Process
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
例
Process
and
Lupus
體驗者
Process
and
AutonomousAgent
模態屬性
entity
例
entity
and
SkinRash
體驗者
entity
and
AutonomousAgent
and
容易
(=>
(
and
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A))
(
not
(
exists
(?MT)
(
and
(
overlapsTemporally
?MT ?MR)
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A)))))
emotion.kif 1464-1473
例
TimeInterval
and
MusclesRelaxing
體驗者
TimeInterval
and
AutonomousAgent
TimeInterval
暫時重疊
TimeInterval
and
TimeInterval
例
TimeInterval
and
MusclesBecomingTense
體驗者
TimeInterval
and
AutonomousAgent
(=>
(
and
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A))
(
not
(
exists
(?MR)
(
and
(
overlapsTemporally
?MR ?MT)
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A)))))
emotion.kif 1450-1459
例
TimeInterval
and
MusclesBecomingTense
體驗者
TimeInterval
and
AutonomousAgent
TimeInterval
暫時重疊
TimeInterval
and
TimeInterval
例
TimeInterval
and
MusclesRelaxing
體驗者
TimeInterval
and
AutonomousAgent
(=>
(
and
(
instance
?N
Nausea
)
(
experiencer
?N ?H))
(
believes
?H
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?N))
(
exists
(?V)
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?H))))))
Mid-level-ontology.kif 21432-21443
例
Process
and
Nausea
體驗者
Process
and
CognitiveAgent
相信
CognitiveAgent
and
持有期間
眼前的未來
何時
Process
and
entity
例
entity
and
Vomiting
體驗者
entity
and
CognitiveAgent
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Diarrhoea
)
(
experiencer
?D ?H1)
(
causes
?P ?D)))
Likely
))
Medicine.kif 2735-2747
例
Process
and
CeliacDisease
體驗者
Process
and
AutonomousAgent
例
Object
and
SmallIntestine
部分
Object
and
AutonomousAgent
模態屬性
entity
例
entity
and
Diarrhoea
體驗者
entity
and
AutonomousAgent
原因
Process
and
entity
and
容易
(=>
(
and
(
instance
?P
HeartPalpitations
)
(
experiencer
?P ?H)
(
instance
?HEART
Heart
)
(
part
?HEART ?H))
(
exists
(?PER)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?H)
(
patient
?PER ?HEART))))
Medicine.kif 2060-2070
例
Process
and
HeartPalpitations
體驗者
Process
and
AutonomousAgent
例
AutonomousAgent
EART and
心
部分
AutonomousAgent
EART and
AutonomousAgent
Process
ER
例
Process
ER and
Perception
體驗者
Process
ER and
AutonomousAgent
患者
Process
ER and
AutonomousAgent
EART
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
experiencer
?D ?H)
(
causes
?I ?D))))
Mid-level-ontology.kif 8600-8610
例
Object
and
Poison
例
Motion
and
Ingesting
移動
Motion
and
Object
體驗者
Motion
and
AutonomousAgent
Process
例
Process
and
Damaging
體驗者
Process
and
AutonomousAgent
原因
Motion
and
Process
(=>
(
and
(
instance
?PP
PublicProgram
)
(
experiencer
?PP ?PUBLIC))
(
hasPurpose
?PP
(
exists
(?HELPING)
(
and
(
instance
?HELPING
Helping
)
(
experiencer
?HELPING ?PUBLIC)
(
instance
?PUBLIC
Public
)))))
MilitaryProcesses.kif 1383-1392
例
Process
and
公共計劃
體驗者
Process
and
AutonomousAgent
有目的
Process
and
entity
例
entity
and
幫助
體驗者
entity
and
AutonomousAgent
例
AutonomousAgent
and
上市
(=>
(
and
(
instance
?S
Sepsis
)
(
experiencer
?S ?H))
(
exists
(?I)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
causes
?I ?S))))
Medicine.kif 5527-5535
例
Process
and
Sepsis
體驗者
Process
and
AutonomousAgent
Process
例
Process
and
Infecting
體驗者
Process
and
AutonomousAgent
原因
Process
and
Process
(=>
(
and
(
instance
?S
SkinRash
)
(
experiencer
?S ?H))
(
modalAttribute
(
exists
(?I)
(
and
(
instance
?I
Itching
)
(
experiencer
?I ?H)
(
during
(
WhenFn
?I)
(
WhenFn
?S))))
Likely
))
Mid-level-ontology.kif 5749-5759
例
Process
and
SkinRash
體驗者
Process
and
AutonomousAgent
模態屬性
entity
例
entity
and
Itching
體驗者
entity
and
AutonomousAgent
期間
何時
entity
and
何時
Process
and
容易
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
例
可穿戴物品
and
安全套
例
Animal
and
Animal
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
and
entity
例
entity
and
Process
儀器
entity
and
可穿戴物品
患者
entity
and
Animal
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
entity
and
entity
例
entity
and
Human
體驗者
entity
and
entity
例
entity
and
落下
體驗者
entity
and
entity
原因
entity
and
entity
持有期間
entity
and
體驗者
entity
and
Animal
持有期間
entity
and
患者
entity
and
Animal
防止
entity
and
entity
(=>
(
and
(
instance
?SHN
SupportHNAssistance
)
(
experiencer
?SHN ?HN)
(
instance
?HN
HostNation
))
(
exists
(?OP)
(
and
(
instance
?OP
MilitaryOperation
)
(
instance
?OP
Helping
)
(
experiencer
?OP ?HN)
(
patient
?SHN ?OP))))
MilitaryProcesses.kif 1293-1303
例
Process
and
支持HW 協助
體驗者
Process
and
AutonomousAgent
例
AutonomousAgent
and
主辦國
Process
例
Process
and
軍事行動
例
Process
and
幫助
體驗者
Process
and
AutonomousAgent
患者
Process
and
Process
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
experiencer
?A2)
(
not
(
capability
?S
experiencer
?A)))))
Merge.kif 13494-13504
例
Process
and
SenseImpairmentFn
Perception
體驗者
Process
and
AutonomousAgent
AutonomousAgent
等於
AutonomousAgent
and
AutonomousAgent
能力
Perception
,
體驗者
and
AutonomousAgent
能力
Perception
,
體驗者
and
AutonomousAgent
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
not
(
capability
?S
experiencer
?A)))
Merge.kif 13514-13519
例
Process
and
SenseImpairmentFn
Perception
體驗者
Process
and
AutonomousAgent
能力
Perception
,
體驗者
and
AutonomousAgent
(=>
(
and
(
instance
?SVU
SadVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Sadness
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1967-1975
例
Process
and
SadVoiceUtterance
agent
Process
and
AutonomousAgent
Process
例
Process
and
Sadness
體驗者
Process
and
AutonomousAgent
原因
Process
and
Process
(=>
(
and
(
instance
?SVU
SurprisedVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Surprise
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1928-1936
例
Process
and
SurprisedVoiceUtterance
agent
Process
and
AutonomousAgent
Process
例
Process
and
驚喜
體驗者
Process
and
AutonomousAgent
原因
Process
and
Process
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
例
AutonomousAgent
and
票
擁有
AutonomousAgent
and
Object
CognitiveAgent
是由
AutonomousAgent
的
issued
attribute
CognitiveAgent
and
娛樂賭博和娛樂業
位於
CognitiveAgent
and
Object
CognitiveAgent
confers
規範
entity
例
entity
and
RecreationOrExercise
體驗者
entity
and
Object
entity
是
located
在
Object
對於
允許
(=>
(
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
例
TimeInterval
and
TimePeriod
持續時間
TimeInterval
and
測量
RealNumber
and
分鐘
比較多
RealNumber
and 5.0
例
Entity
and
Human
Process
例
Process
and
Breathing
期間
何時
Process
and
TimeInterval
患者
Process
and
Entity
模態屬性
entity
例
entity
and
Death
體驗者
entity
and
Entity
短暫相遇
TimeInterval
and
何時
entity
and
容易
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11305-11328
例
Process
and
易位
例
Process
and
易位
起源
Process
and
Object
起源
Process
and
Object
目的地
Process
and
Object
目的地
Process
and
Entity
體驗者
Process
and
AutonomousAgent
體驗者
Process
and
AutonomousAgent
Process
例
Process
and
易位
起源
Process
and
Object
目的地
Process
and
Entity
子過程
Process
and
Process
子過程
Process
and
Process
體驗者
Process
and
AutonomousAgent
啟動
何時
Process
and
何時
Process
飾面
何時
Process
and
何時
Process
(=>
(
and
(
issuedBy
?TICKET ?AGENT)
(
instance
?TICKET
Ticket
)
(
possesses
?CUST ?TICKET))
(
confersNorm
?AGENT
(
exists
(?T)
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
agent
?P ?AGENT)
(
experiencer
?P ?CUST)))))
Permission
))
Mid-level-ontology.kif 16542-16554
CognitiveAgent
是由
Certificate
的
issued
例
Certificate
and
票
擁有
AutonomousAgent
and
Certificate
CognitiveAgent
confers
規範
entity
持有期間
entity
and
entity
例
entity
and
Process
agent
entity
and
CognitiveAgent
體驗者
entity
and
AutonomousAgent
對於
允許
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
Reservation
是對於
Proposition
的
reservation
Reservation
reserves
Reservation
模態屬性
entity
實現
entity
and
Proposition
體驗者
entity
and
Reservation
and
容易
(=>
(
and
(
vaccine
?VAC ?VIR)
(
instance
?V
Vaccination
)
(
experiencer
?V ?H)
(
instance
?VACI ?VAC)
(
objectTransferred
?V ?VACI))
(
hasPurpose
?VACI
(
not
(
exists
(?I ?VIRI)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
instance
?VIRI ?VIR)
(
objectTransferred
?I ?VIRI))))))
WMD.kif 1089-1103
vaccine
Vaccine
and
Virus
例
Transfer
and
Vaccination
體驗者
Transfer
and
AutonomousAgent
例
Vaccine
I and
Vaccine
objectTransferred
Transfer
and
Vaccine
I
有目的
Vaccine
I and
entity
Virus
I
例
entity
and
Infecting
體驗者
entity
and
AutonomousAgent
例
Virus
I and
Virus
objectTransferred
entity
and
Virus
I
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