experiencer
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 74-83
例
Process
and
Death
例
Entity
and
OrganismRemains
例
AutonomousAgent
and
Organism
持有期間
TimeInterval
and
部分
entity
and
Entity
持有期間
TimeInterval
and
部分
entity
and
AutonomousAgent
早期
TimeInterval
and
TimeInterval
結果
Process
and
Entity
體驗者
Process
and
AutonomousAgent
(=>
(
and
(
instance
?DEGREE
AcademicDegree
)
(
possesses
?AGENT ?DEGREE))
(
exists
(?PROGRAM ?STUDY)
(
and
(
instance
?PROGRAM
EducationalProgram
)
(
realization
?STUDY ?PROGRAM)
(
experiencer
?STUDY ?AGENT))))
Mid-level-ontology.kif 16514-16522
例
Object
and
學位
擁有
AutonomousAgent
and
Object
Proposition
Process
例
Proposition
and
教育計劃
實現
Process
and
Proposition
體驗者
Process
and
AutonomousAgent
(=>
(
and
(
instance
?DISEASE
LifeThreateningDisease
)
(
attribute
?AGENT ?DISEASE))
(
capability
Death
experiencer
?AGENT))
WMD.kif 1029-1033
例
Attribute
and
危及生命的疾病
attribute
Object
and
Attribute
能力
Death
,
體驗者
and
Object
(=>
(
and
(
instance
?DVU
DisgustedVoiceUtterance
)
(
agent
?DVU ?A))
(
exists
(?D)
(
and
(
instance
?D
Disgust
)
(
experiencer
?D ?A)
(
causes
?D ?DVU))))
emotion.kif 2000-2008
例
Process
and
DisgustedVoiceUtterance
agent
Process
and
AutonomousAgent
Process
例
Process
and
Disgust
體驗者
Process
and
AutonomousAgent
原因
Process
and
Process
(=>
(
and
(
instance
?E
Epidemic
)
(
involvedInEvent
?E ?H))
(
or
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
attribute
?H ?D))
(
exists
(?P)
(
and
(
instance
?P
PathologicProcess
)
(
experiencer
?P ?H)
(
subProcess
?P ?E)))))
Medicine.kif 3517-3529
例
Process
and
Epidemic
AutonomousAgent
是事件
Process
的
involved
例
Attribute
and
DiseaseOrSyndrome
attribute
AutonomousAgent
and
Attribute
Process
例
Process
and
PathologicProcess
體驗者
Process
and
AutonomousAgent
子過程
Process
and
Process
(=>
(
and
(
instance
?ELT
ExperiencingDiscomfortInTheStomach
)
(
experiencer
?ELT ?A))
(
exists
(?P ?PAIN ?T)
(
and
(
instance
?P
Perception
)
(
during
(
WhenFn
?P)
(
WhenFn
?PAIN))
(
instance
?PAIN
Pain
)
(
experiencer
?PAIN ?A)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Stomach
)
(
part
?T ?A))))
emotion.kif 1583-1597
例
Process
and
ExperiencingDiscomfortInTheStomach
體驗者
Process
and
AutonomousAgent
Process
Process
AIN and
Object
例
Process
and
Perception
期間
何時
Process
and
何時
Process
AIN
例
Process
AIN and
痛
體驗者
Process
AIN and
AutonomousAgent
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
患者
Process
and
Object
例
Object
and
胃
部分
Object
and
AutonomousAgent
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
experiencer
?EV ?P))
(
exists
(?C ?CA)
(
and
(
instance
?C
Classifying
)
(
subProcess
?C ?EV)
(
experiencer
?C ?P)
(
or
(
subOrganization
?CA ?A)
(
member
?CA ?A)
(
equal
?CA ?A))
(
agent
?C ?CA))))
MilitaryProcesses.kif 2609-2623
例
Process
and
疏散
agent
Process
and
Organization
體驗者
Process
and
AutonomousAgent
Process
Process
A
例
Process
and
Classifying
子過程
Process
and
Process
體驗者
Process
and
AutonomousAgent
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
agent
Process
and
Process
A
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
origin
?EV ?O))
(
exists
(?T ?TA)
(
and
(
instance
?T
Translocation
)
(
subProcess
?T ?EV)
(
origin
?T ?O)
(
or
(
experiencer
?T ?TA)
(
agent
?T ?TA))
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A)))))
MilitaryProcesses.kif 2627-2643
例
Process
and
疏散
agent
Process
and
Organization
起源
Process
and
Object
Process
Process
A
例
Process
and
易位
子過程
Process
and
Process
起源
Process
and
Object
體驗者
Process
and
Process
A
agent
Process
and
Process
A
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
(=>
(
and
(
instance
?EV
Evacuation
)
(
experiencer
?EV ?P)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
TherapeuticProcess
)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA)
(
experiencer
?M ?P))))
MilitaryProcesses.kif 2591-2605
例
Process
and
疏散
體驗者
Process
and
AutonomousAgent
agent
Process
and
Organization
Process
Process
A
例
Process
and
TherapeuticProcess
子過程
Process
and
Process
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
agent
Process
and
Process
A
體驗者
Process
and
AutonomousAgent
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?SUBJECT
Human
)
(
experimentalSubject
?EXPERIMENT ?SUBJECT))
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experiencer
?PROCESS ?SUBJECT)
(
or
(
experimentalControlProcess
?EXPERIMENT ?PROCESS)
(
experimentalVariableProcess
?EXPERIMENT ?PROCESS)))))
UXExperimentalTerms.kif 3923-3934
例
試驗
and
試驗
例
Human
and
Human
Human
是在
試驗
的
subject
Process
例
Process
and
Process
體驗者
Process
and
Human
control
在實驗
試驗
是
Process
Process
在
試驗
的
process
(=>
(
and
(
instance
?F
Scholarship
)
(
destination
?F ?H))
(
hasPurpose
?F
(
exists
(?EP ?P)
(
and
(
instance
?EP
EducationalProgram
)
(
realization
?P ?EP)
(
experiencer
?P ?H)))))
Mid-level-ontology.kif 7231-7240
例
Process
and
獎學金
目的地
Process
and
Entity
有目的
Process
and
entity
entity
例
entity
and
教育計劃
實現
entity
and
entity
體驗者
entity
and
Entity
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
例
Process
and
外國內部防禦
agent
Process
and
AutonomousAgent
體驗者
Process
and
AutonomousAgent
有目的
Process
and
entity
entity
例
entity
and
Learning
體驗者
entity
and
entity
agent
entity
and
AutonomousAgent
AutonomousAgent
是
entity
的
military
區域
例
entity
and
軍事力量
位於
entity
and
AutonomousAgent
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
militaryOfArea
?MIL ?NATION))
(
exists
(?HN ?MAINTAIN)
(
and
(
experiencer
?FID ?HN)
(
instance
?HN
HostNation
)
(
not
(
equal
?HN ?NATION))
(
instance
?MAINTAIN
Maintaining
)
(
agent
?MAINTAIN ?HN))))
MilitaryProcesses.kif 1943-1955
例
Process
and
外國內部防禦
agent
Process
and
軍事組織
GeopoliticalArea
是
軍事組織
的
military
區域
AutonomousAgent
Process
體驗者
Process
and
AutonomousAgent
例
AutonomousAgent
and
主辦國
等於
AutonomousAgent
and
GeopoliticalArea
例
Process
and
Maintaining
agent
Process
and
AutonomousAgent
(=>
(
and
(
instance
?FVU
FearfulVoiceUtterance
)
(
agent
?FVU ?A))
(
exists
(?F)
(
and
(
instance
?F
Fear
)
(
experiencer
?F ?A)
(
causes
?F ?FVU))))
emotion.kif 2065-2073
例
Process
and
FearfulVoiceUtterance
agent
Process
and
AutonomousAgent
Process
例
Process
and
Fear
體驗者
Process
and
AutonomousAgent
原因
Process
and
Process
(=>
(
and
(
instance
?G
Gaslighting
)
(
agent
?G ?A)
(
suffers
?G ?H))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
causesProposition
(
suffers
?G ?H)
(
not
(
knows
?H
(
result
?P ?R)))))))
Medicine.kif 3665-3678
例
Process
and
Gaslighting
agent
Process
and
AutonomousAgent
AutonomousAgent
suffers
從
Process
Process
例
Process
and
Perception
體驗者
Process
and
AutonomousAgent
知道
AutonomousAgent
and
結果
Process
and
entity
是
AutonomousAgent
suffers
從
Process
的
causes
提議
(=>
(
and
(
instance
?H
Hallucination
)
(
experiencer
?H ?P))
(
exists
(?PER ?PROP)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?P)
(
causes
?H ?PER)
(
containsInformation
?PER ?PROP)
(
truth
?PROP
False
))))
Mid-level-ontology.kif 6429-6439
例
Process
and
Hallucination
體驗者
Process
and
AutonomousAgent
AutonomousAgent
ER
AutonomousAgent
ROP
例
AutonomousAgent
ER and
Perception
體驗者
AutonomousAgent
ER and
AutonomousAgent
原因
Process
and
AutonomousAgent
ER
包含信息
AutonomousAgent
ER and
AutonomousAgent
ROP
真相
AutonomousAgent
ROP and
假
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
例
AutonomousAgent
and
人
attribute
AutonomousAgent
and
mausaharati
例
Process
and
鼓聲
agent
Process
and
AutonomousAgent
例
Process
AY and
Day
例
TimeInterval
and
日出
期間
TimeInterval
and
Process
AY
早期
何時
Process
and
TimeInterval
有目的
Process
and
entity
TimeInterval
UHUR and
entity
例
entity
and
起來
體驗者
entity
and
entity
例
TimeInterval
UHUR and
封齋飯
agent
TimeInterval
UHUR and
entity
早期
何時
entity
and
何時
TimeInterval
UHUR
期間
何時
entity
and
Process
AY
期間
何時
TimeInterval
UHUR and
Process
AY
(=>
(
and
(
instance
?HELPING
Helping
)
(
agent
?HELPING ?AGENT)
(
result
?HELPING ?RESULT))
(
exists
(?PATIENT)
(
and
(
not
(
equal
?AGENT ?PATIENT))
(
or
(
patient
?HELPING ?PATIENT)
(
experiencer
?HELPING ?PATIENT))
(
wants
?PATIENT ?RESULT))))
MilitaryProcesses.kif 1419-1431
例
Process
and
幫助
agent
Process
and
AutonomousAgent
結果
Process
and
Physical
CognitiveAgent
等於
AutonomousAgent
and
CognitiveAgent
患者
Process
and
CognitiveAgent
體驗者
Process
and
CognitiveAgent
想要
CognitiveAgent
and
Physical
(=>
(
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
?I
HealthInsuranceCompany
)
(
customer
?I ?C))
(
hasPurposeForAgent
?I
(
exists
(?D ?P)
(
and
(
or
(
instance
?D
DiagnosticProcess
)
(
instance
?D
TherapeuticProcess
))
(
experiencer
?D ?C)
(
instance
?P
Payment
)
(
agent
?P ?I)
(
refers
?P ?D))) ?C))
Mid-level-ontology.kif 7159-7172
例
CognitiveAgent
and
HealthInsuranceCompany
AutonomousAgent
是
CognitiveAgent
的
customer
有代理人的目的
CognitiveAgent
,
entity
entity
例
entity
and
DiagnosticProcess
例
entity
and
TherapeuticProcess
體驗者
entity
and
AutonomousAgent
例
entity
and
付款
agent
entity
and
CognitiveAgent
參照
entity
and
entity
and
AutonomousAgent
(=>
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H))
(
exists
(?T ?R ?O)
(
and
(
instance
?T
Translocation
)
(
moves
?T ?O)
(
instance
?O
Organism
)
(
instance
?R
Replication
)
(
experiencer
?R ?O)
(
subProcess
?T ?I)
(
subProcess
?R ?I))))
Mid-level-ontology.kif 5847-5859
例
Process
and
Infecting
體驗者
Process
and
AutonomousAgent
Motion
Process
and
AutonomousAgent
例
Motion
and
易位
移動
Motion
and
AutonomousAgent
例
AutonomousAgent
and
Organism
例
Process
and
Replication
體驗者
Process
and
AutonomousAgent
子過程
Motion
and
Process
子過程
Process
and
Process
(=>
(
and
(
instance
?I
InfectiousDisease
)
(
attribute
?A ?I))
(
exists
(?P ?O)
(
and
(
instance
?P
PathologicProcess
)
(
agent
?P ?O)
(
instance
?O
Microorganism
)
(
experiencer
?P ?A))))
Mid-level-ontology.kif 5830-5839
例
Attribute
and
傳染病
attribute
AutonomousAgent
and
Attribute
Process
AutonomousAgent
例
Process
and
PathologicProcess
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
Microorganism
體驗者
Process
and
AutonomousAgent
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
例
Transfer
and
Ingesting
體驗者
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
例
Object
and
Object
C
pathologicSideEffect
Object
C and
Object
IS
模態屬性
entity
例
entity
and
Object
IS
體驗者
AutonomousAgent
and
entity
and
容易
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
例
Transfer
and
Ingesting
objectTransferred
Transfer
and
Object
例
Object
and
迷幻劑
目的地
Transfer
and
Entity
模態屬性
Object
AL
例
Object
AL and
Hallucination
體驗者
Object
AL and
Entity
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