causes
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
例
可穿戴物品
and
聽力保護
例
Animal
and
Human
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
and
entity
例
entity
and
Process
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
entity
,
entity
and
entity
例
entity
and
RadiatingSound
例
entity
and
Hearing
例
entity
and
Human
患者
entity
and
entity
體驗者
entity
and
entity
原因
entity
and
entity
體驗者
entity
and
entity
持有期間
entity
and
體驗者
entity
and
Animal
持有期間
entity
and
患者
entity
and
Animal
防止
entity
and
entity
儀器
entity
and
可穿戴物品
(=>
(
and
(
instance
?HVU
HappyVoiceUtterance
)
(
agent
?HVU ?A))
(
exists
(?H)
(
and
(
instance
?H
Happiness
)
(
experiencer
?H ?A)
(
causes
?H ?HVU))))
emotion.kif 1983-1991
例
Process
and
HappyVoiceUtterance
agent
Process
and
AutonomousAgent
Process
例
Process
and
幸福
體驗者
Process
and
AutonomousAgent
原因
Process
and
Process
(=>
(
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
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25821-25838
例
Physical
and
KnockLight
位於
Physical
and
Object
例
Object
and
Room
例
Object
and
門
部分
Object
and
Object
有目的
Physical
and
entity
entity
and
entity
例
entity
and
Impacting
患者
entity
and
Object
原因
entity
and
entity
例
entity
and
RadiatingSound
agent
entity
and
Object
原因
entity
and
entity
例
entity
and
輻射可見光
儀器
entity
and
Physical
(=>
(
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
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
?PLANNING
OperationPlanning
)
(
agent
?PLANNING ?COMMANDER))
(
or
(
and
(
instance
?COMMANDER
CombatantCommander
)
(
exists
(?REQUEST ?CHAIRMAN)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?CHAIRMAN)
(
attribute
?CHAIRMAN
ChairmanJCS
)
(
causes
?REQUEST ?PLANNING))))
(
and
(
instance
?COMMANDER
SubunifiedCommander
)
(
exists
(?REQUEST ?COMMANDERSUPER ?MILITARY)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?COMMANDERSUPER)
(
attribute
?COMMANDERSUPER
MilitaryCommander
)
(
subordinatePosition
?MILITARY ?COMMANDER ?COMMANDERSUPER)
(
instance
?MILITARY
MilitaryForce
)
(
causes
?REQUEST ?PLANNING))))))
MilitaryProcesses.kif 1582-1604
例
Process
and
運營計劃
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
戰鬥指揮官
Process
AutonomousAgent
例
Process
and
Requesting
agent
Process
and
AutonomousAgent
attribute
AutonomousAgent
and
主席JCs
原因
Process
and
Process
例
AutonomousAgent
and
統一指揮官
Process
AutonomousAgent
SUPER and
Organization
例
Process
and
Requesting
agent
Process
and
AutonomousAgent
SUPER
attribute
AutonomousAgent
SUPER and
軍事指揮官
Organization
是 對於 %3 的
subordinate
職位
例
Organization
and
軍事力量
原因
Process
and
Process
(=>
(
and
(
instance
?PROC
DiagnosticProcess
)
(
agent
?PROC ?AGENT))
(
exists
(?CAUSE)
(
hasPurposeForAgent
?PROC
(
knows
?AGENT
(
causes
?CAUSE ?PROC)) ?AGENT)))
Merge.kif 12958-12963
例
Process
and
DiagnosticProcess
agent
Process
and
AutonomousAgent
entity
有代理人的目的
Process
,
知道
AutonomousAgent
and
原因
entity
and
Process
and
AutonomousAgent
(=>
(
and
(
instance
?S
Sentencing
)
(
patient
?S ?P))
(
exists
(?C)
(
and
(
causes
?C ?S)
(
instance
?C
LegalConviction
)
(
patient
?C ?P)
(
earlier
(
WhenFn
?C)
(
WhenFn
?S)))))
Mid-level-ontology.kif 16250-16259
例
Process
and
宣判
患者
Process
and
Entity
Process
原因
Process
and
Process
例
Process
and
法律定罪
患者
Process
and
Entity
早期
何時
Process
and
何時
Process
(=>
(
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
?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
?SS
StayingStill
)
(
experiencer
?SS ?A))
(
not
(
exists
(?B ?T)
(
and
(
instance
?B
BodyMotion
)
(
instance
?T
Translocation
)
(
causes
?B ?T)
(
agent
?B ?A)))))
emotion.kif 1523-1533
例
Process
and
StayingStill
體驗者
Process
and
AutonomousAgent
Process
Process
例
Process
and
BodyMotion
例
Process
and
易位
原因
Process
and
Process
agent
Process
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
?TEXT
DeathCertificate
)
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N ?PROC)
(
and
(
deathdate
?A ?DAY)
(
instance
?DAY
Day
)
(
deathplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)
(
causes
?PROC ?D)
(
instance
?PROC
Process
)))))
Biography.kif 280-296
例
內容承載物理
and
DeathCertificate
例
Process
and
Death
例
AutonomousAgent
and
Human
體驗者
Process
and
AutonomousAgent
containsFormula
內容承載物理
and
Process
AY
entity
,
entity
and
entity
ROC
Process
AY 是
AutonomousAgent
的
deathdate
例
Process
AY and
Day
entity
是
AutonomousAgent
的
deathplace
例
entity
and
GeographicArea
代表
entity
and
AutonomousAgent
例
entity
and
Name
原因
entity
ROC and
Process
例
entity
ROC and
Process
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
例
Object
and
CarAlarm
例
Object
and
自供電公路車輛
部分
Object
and
Object
entity
entity
,
entity
and
entity
有目的
Object
and
例
entity
and
偷竊行為
例
entity
and
Damaging
例
entity
and
Human
agent
entity
and
entity
患者
entity
and
Object
等於
何時
entity
and
entity
entity
是
partly
located
在
entity
entity
例
entity
and
RadiatingSound
agent
entity
and
Object
原因
entity
and
entity
有目的
entity
and
增加可能性
entity
例
entity
and
Human
持有期間
entity
and
方位
entity
,
entity
and
近
and
知道
entity
and
entity
例
entity
and
偷竊行為
例
entity
and
Damaging
entity
是
partly
located
在
entity
持有期間
entity
and
患者
entity
and
Object
飾面
何時
entity
and
何時
entity
(=>
(
and
(
instance
?X
DutyTax
)
(
refers
?X ?OBJ)
(
patient
?X ?OBJ))
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Transfer
)
(
patient
?T ?OBJ)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))
(
earlier
(
WhenFn
?T)
(
WhenFn
?X))
(
causes
?T ?X))))
FinancialOntology.kif 949-964
例
Process
and
關稅
參照
Process
and
Entity
患者
Process
and
Entity
Process
Object
and
Entity
例
Process
and
Transfer
患者
Process
and
Entity
起源
Process
and
Object
目的地
Process
and
Entity
例
Object
and
Nation
例
Entity
and
Nation
等於
Object
and
Entity
早期
何時
Process
and
何時
Process
原因
Process
and
Process
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3531-3552
例
可穿戴物品
and
呼吸器
例
Animal
and
Animal
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
,
entity
and
entity
例
entity
and
Process
儀器
entity
and
可穿戴物品
防止
entity
and
entity
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
例
entity
and
Human
患者
entity
and
entity
例
entity
and
吸入
agent
entity
and
entity
原因
entity
and
entity
(=>
(
and
(
taxDeferredIncome
?Agent ?Income ?Activity)
(
time
?Activity ?Time))
(
not
(
exists
(?Tax)
(
and
(
instance
?Tax
Tax
)
(
causes
?Activity ?Tax)
(
time
?Tax ?Time)))))
FinancialOntology.kif 3312-3321
從
OrganizationalProcess
造成的
tax
deferred
income
對於
Human
是
CurrencyMeasure
時間
OrganizationalProcess
and
TimePosition
Process
例
Process
and
稅
原因
OrganizationalProcess
and
Process
時間
Process
and
TimePosition
(=>
(
attribute
?H
(
InjuryCausedFn
?PC))
(
exists
(?I ?P)
(
and
(
instance
?I
Injuring
)
(
patient
?I ?H)
(
instance
?P ?PC)
(
causes
?P ?I))))
Medicine.kif 403-410
attribute
Object
and
InjuryCausedFn
Process
Process
Process
例
Process
and
Injuring
患者
Process
and
Object
例
Process
and
Process
原因
Process
and
Process
(=>
(
attribute
?H
Bruise
)
(
exists
(?I ?P)
(
and
(
instance
?I
Injuring
)
(
patient
?I ?H)
(
instance
?P
Bleeding
)
(
causes
?P ?I))))
Medicine.kif 425-432
attribute
Object
and
Bruise
Process
Process
例
Process
and
Injuring
患者
Process
and
Object
例
Process
and
流血的
原因
Process
and
Process
(=>
(
attribute
?M
CoinOperated
)
(
hasPurpose
?M
(
exists
(?C ?FT ?A ?ACT)
(
and
(
instance
?C
CurrencyCoin
)
(
instance
?FT
FinancialTransaction
)
(
destination
?FT ?M)
(
patient
?FT ?C)
(
origin
?FT ?A)
(
causes
?FT ?ACT)
(
wants
?A ?ACT)))))
Mid-level-ontology.kif 29474-29485
attribute
Object
and
CoinOperated
有目的
Object
and
entity
entity
,
entity
and
entity
CT
例
entity
and
貨幣硬幣
例
entity
and
FinancialTransaction
目的地
entity
and
Object
患者
entity
and
entity
起源
entity
and
entity
原因
entity
and
entity
CT
想要
entity
and
entity
CT
(=>
(
attribute
?P
Comedian
)
(
exists
(?PERF ?L)
(
and
(
instance
?PERF
Performance
)
(
agent
?PERF ?P)
(
instance
?L
Laughing
)
(
causes
?PERF ?L))))
Mid-level-ontology.kif 18795-18802
attribute
AutonomousAgent
and
喜劇演員
AutonomousAgent
ERF
Process
例
AutonomousAgent
ERF and
性能
agent
AutonomousAgent
ERF and
AutonomousAgent
例
Process
and
笑
原因
AutonomousAgent
ERF and
Process
(=>
(
browserID
?STRING ?BROWSER ?SITE)
(
exists
(?WEBPAGE ?ACCESSING ?AGENT ?BPROC)
(
and
(
instance
?WEBPAGE
WebPage
)
(
subString
?WEBPAGE ?SITE)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?ACCESSING ?AGENT)
(
programRunning
?BPROC ?BROWSER)
(
causes
?BPROC ?ACCESSING)
(
destination
?ACCESSING ?WEBPAGE)
(
represents
?STRING ?AGENT))))
UXExperimentalTerms.kif 736-748
Identifier
是
WebBrowser
的
ID
當取用
WebSite
SymbolicString
Process
,
AutonomousAgent
and
電腦程序
例
SymbolicString
and
WebPage
SymbolicString
是
WebSite
的
sub
-string
例
Process
and
AccessingWebPage
例
AutonomousAgent
and
AutonomousAgent
agent
Process
and
AutonomousAgent
WebBrowser
是
電腦程序
的執行
program
原因
電腦程序
and
Process
目的地
Process
and
SymbolicString
代表
Identifier
and
AutonomousAgent
(=>
(
causesSubclass
?PROC1 ?PROC2)
(
forall
(?INST2)
(=>
(
instance
?INST2 ?PROC2)
(
exists
(?INST1)
(
and
(
instance
?INST1 ?PROC1)
(
causes
?INST1 ?INST2))))))
Merge.kif 3810-3818
Process
是
Process
的
causes
子分類
Process
例
Process
and
Process
Process
例
Process
and
Process
原因
Process
and
Process
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