believes
(=>
(
and
(
instance
?X
SuicideBombing
)
(
agent
?X ?P))
(
believes
?P
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?P
Dead
))))
Mid-level-ontology.kif 22110-22118
例
Process
and
自殺性爆炸事件
agent
Process
and
CognitiveAgent
相信
CognitiveAgent
and
持有期間
未來
何時
Process
and
attribute
CognitiveAgent
and
死
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2331-2338
子類
ContentBearingObject
and
黨的平台
作者
CognitiveAgent
and
ContentBearingObject
例
CognitiveAgent
and
政治黨派
例
內容承載物理
and
ContentBearingObject
containsFormula
內容承載物理
and
Formula
相信
CognitiveAgent
and
Formula
(=>
(
approves
?AGENT1 ?AGENT2)
(
exists
(?PROP)
(
believes
?AGENT1
(
conforms
?AGENT2 ?PROP))))
Mid-level-ontology.kif 26941-26945
CognitiveAgent
approves
CognitiveAgent
entity
相信
CognitiveAgent
and
CognitiveAgent
conforms
對
entity
(=>
(
attribute
?DEIST
Deist
)
(
believes
?DEIST
(
exists
(?GOD)
(
equal
?GOD
God
))))
People.kif 742-746
attribute
CognitiveAgent
and
自然神論者
相信
CognitiveAgent
and
entity
等於
entity
and
神
(=>
(
diseaseCandidate
?H ?D)
(
exists
(?DOC)
(
believes
?DOC
(
modalAttribute
(
attribute
?H ?D)
Possibility
))))
Medicine.kif 1939-1945
diseaseCandidate
Human
and
DiseaseOrSyndrome
DiseaseOrSyndrome
OC
相信
DiseaseOrSyndrome
OC and
模態屬性
attribute
Human
and
DiseaseOrSyndrome
and
可能性
(=>
(
distrusts
?A1 ?A2 ?P)
(
believes
?A1
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))
Unlikely
)))
Law.kif 422-430
distrusts
CognitiveAgent
,
AutonomousAgent
and
IntentionalProcess
相信
CognitiveAgent
and
模態屬性
IntentionalProcess
I
例
IntentionalProcess
I and
IntentionalProcess
agent
IntentionalProcess
I and
AutonomousAgent
and
較不可能
(=>
(
doubts
?AGENT ?FORMULA)
(
not
(
believes
?AGENT ?FORMULA)))
Mid-level-ontology.kif 7415-7417
Formula
是
CognitiveAgent
的
doubts
相信
CognitiveAgent
and
Formula
(=>
(
enemy
?AGENT1 ?AGENT2)
(
and
(
believes
?AGENT1
(
attribute
?AGENT2
Enemy
))
(
believes
?AGENT2
(
attribute
?AGENT1
Enemy
))))
MilitaryProcesses.kif 2463-2469
enemy
CognitiveAgent
and
CognitiveAgent
相信
CognitiveAgent
and
attribute
CognitiveAgent
and
敵人
相信
CognitiveAgent
and
attribute
CognitiveAgent
and
敵人
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
believes
?A
(
modalAttribute
(
exists
(?P)
(
and
(
not
(
wants
?A ?P))
(
before
?T
(
WhenFn
?P))))
Likely
)))
emotion.kif 1025-1036
持有期間
TimePosition
and
attribute
CognitiveAgent
and
Fear
相信
CognitiveAgent
and
模態屬性
entity
想要
CognitiveAgent
and
entity
之前
TimePosition
and
何時
entity
and
容易
(=>
(
holdsDuring
?T
(
attribute
?H
Antivaxxer
))
(
believes
?H
(
exists
(?V ?D)
(
and
(
instance
?V
Vaccination
)
(
instance
?D
Damaging
)
(
causes
?V ?D)))))
Medicine.kif 3821-3829
持有期間
TimePosition
and
attribute
CognitiveAgent
and
Antivaxxer
相信
CognitiveAgent
and
entity
entity
例
entity
and
Vaccination
例
entity
and
Damaging
原因
entity
and
entity
(=>
(
holdsDuring
?T
(
attribute
?H
Dizzy
))
(
holdsDuring
?T
(
believes
?H
(=>
(
exists
(?T2)
(
and
(
during
?T2 ?T)
(
holdsDuring
?T2
(
attribute
?H
Standing
))))
(
exists
(?F)
(
and
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
meetsTemporally
?T2
(
WhenFn
?F))))))))
Mid-level-ontology.kif 16410-16426
持有期間
TimePosition
and
attribute
entity
and
Dizzy
持有期間
TimePosition
and
相信
entity
and
TimePosition
期間
TimePosition
and
TimePosition
持有期間
TimePosition
and
attribute
entity
and
站立
entity
例
entity
and
落下
體驗者
entity
and
entity
短暫相遇
TimePosition
and
何時
entity
(=>
(
holdsDuring
?T1
(
expects
?AGENT ?FORMULA))
(
exists
(?T2)
(
and
(
holdsDuring
?T1
(
believes
?AGENT
(
holdsDuring
?T2 ?FORMULA)))
(
earlier
?T1 ?T2))))
Merge.kif 10617-10625
持有期間
TimeInterval
and
entity
expects
entity
會是事實
TimeInterval
持有期間
TimeInterval
and
相信
entity
and
持有期間
TimeInterval
and
entity
早期
TimeInterval
and
TimeInterval
(=>
(
instance
?GROUP
BeliefGroup
)
(
exists
(?BELIEF)
(
forall
(?MEMB)
(=>
(
member
?MEMB ?GROUP)
(
believes
?MEMB ?BELIEF)))))
Merge.kif 16618-16624
例
Collection
and
信仰團體
Formula
CognitiveAgent
會員
CognitiveAgent
and
Collection
相信
CognitiveAgent
and
Formula
(=>
(
instance
?PRETEND
Pretending
)
(
exists
(?PERSON ?PROP)
(
and
(
hasPurpose
?PRETEND
(
believes
?PERSON ?PROP))
(
truth
?PROP
False
))))
Merge.kif 13049-13054
例
Physical
and
Pretending
entity
Sentence
有目的
Physical
and
相信
entity
and
Sentence
真相
Sentence
and
假
(=>
(
knows
?AGENT ?FORMULA)
(
believes
?AGENT ?FORMULA))
Merge.kif 2834-2836
知道
CognitiveAgent
and
Formula
相信
CognitiveAgent
and
Formula
(=>
(
medicine
?MC ?D)
(
exists
(?DOC)
(
and
(
instance
?DOC
MedicalDoctor
)
(
believes
?DOC
(
exists
(?T ?H ?M)
(
and
(
instance
?M ?MC)
(
instance
?T
TherapeuticProcess
)
(
instance
?H
Human
)
(
patientMedical
?H ?DOC)
(
resource
?T ?M)
(
benefits
?T ?H)))))))
Mid-level-ontology.kif 9651-9664
medicine
醫學
and
DiseaseOrSyndrome
DiseaseOrSyndrome
OC
例
DiseaseOrSyndrome
OC and
醫生
相信
DiseaseOrSyndrome
OC and
entity
entity
and
entity
例
entity
and
醫學
例
entity
and
TherapeuticProcess
例
entity
and
Human
DiseaseOrSyndrome
OC 是
entity
的
patient
醫療
資源
entity
and
entity
好處
entity
and
entity
(=>
(
member
?ATHEIST
Atheism
)
(
believes
?ATHEIST
(
not
(
exists
(?GOD)
(
equal
?GOD
God
)))))
People.kif 710-715
會員
CognitiveAgent
and
無神論
相信
CognitiveAgent
and
entity
等於
entity
and
神
(=>
(
member
?X
AntiVaxxer
)
(
believes
?X
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
suffers
?V ?H))))
Medicine.kif 3061-3068
會員
CognitiveAgent
and
AntiVaxxer
相信
CognitiveAgent
and
例
entity
and
Vaccination
體驗者
entity
and
entity
entity
suffers
從
entity
(=>
(
pathologyCandidate
?H ?D)
(
exists
(?DOC ?DI)
(
and
(
instance
?DI ?D)
(
believes
?DOC
(
modalAttribute
(
experiencer
?D ?H)
Possibility
)))))
Medicine.kif 1954-1962
pathologyCandidate
Human
and
PathologicProcess
PathologicProcess
OC
PathologicProcess
I
例
PathologicProcess
I and
PathologicProcess
相信
PathologicProcess
OC and
模態屬性
體驗者
PathologicProcess
and
Human
and
可能性
(=>
(
trusts
?A1 ?A2 ?P)
(
believes
?A1
(=>
(
exists
(?S ?PI ?P)
(
and
(
instance
?S
Stating
)
(
containsFormula
?S
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))))
(
modalAttribute
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2))
Likely
))))
Law.kif 400-415
trusts
CognitiveAgent
,
AutonomousAgent
and
IntentionalProcess
相信
CognitiveAgent
and
entity
IntentionalProcess
I and
IntentionalProcess
例
entity
and
Stating
containsFormula
entity
and
例
IntentionalProcess
I and
IntentionalProcess
agent
IntentionalProcess
I and
AutonomousAgent
模態屬性
例
IntentionalProcess
I and
IntentionalProcess
agent
IntentionalProcess
I and
AutonomousAgent
and
容易
(=>
(
trusts
?A1 ?A2 ?P)
(
believes
?A1
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))
Possibility
)))
Law.kif 390-398
trusts
CognitiveAgent
,
AutonomousAgent
and
IntentionalProcess
相信
CognitiveAgent
and
模態屬性
IntentionalProcess
I
例
IntentionalProcess
I and
IntentionalProcess
agent
IntentionalProcess
I and
AutonomousAgent
and
可能性
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