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
工程
は
死
の
instance
では %n
エンティティー
は
OrganismRemains
の
instance
では %n
AutonomousAgent
は
物
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
は
AutonomousAgent
の
part
では %n は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
エンティティー
は
工程
の
result
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
(=>
(
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
オブジェクト
は
AcademicDegree
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
命題
工程
命題
は
EducationalProgram
の
instance
では %n
工程
は
命題
の内容を
express
es %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
(=>
(
and
(
instance
?DISEASE
LifeThreateningDisease
)
(
attribute
?AGENT ?DISEASE))
(
capability
Death
experiencer
?AGENT))
WMD.kif 1029-1033
属性
は
LifeThreateningDisease
の
instance
では %n
属性
は
オブジェクト
の
attribute
では %n
オブジェクト
は
死
を
experiencer
として行う
capable
では %n
(=>
(
and
(
instance
?DVU
DisgustedVoiceUtterance
)
(
agent
?DVU ?A))
(
exists
(?D)
(
and
(
instance
?D
Disgust
)
(
experiencer
?D ?A)
(
causes
?D ?DVU))))
emotion.kif 2000-2008
工程
は
DisgustedVoiceUtterance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
Disgust
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
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
工程
は
Epidemic
の
instance
では %n
involvedInEvent
工程
and
AutonomousAgent
属性
は
病気または症候群
の
instance
では %n
属性
は
AutonomousAgent
の
attribute
では %n
工程
工程
は
病理学的プロセス
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
% の
subprocess
では %n
(=>
(
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
工程
は
ExperiencingDiscomfortInTheStomach
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
AIN and
オブジェクト
工程
は
知覚
の
instance
では %n
工程
の
time
の existence は
工程
AIN の
time
の existence の
during
に takes %n{ない}
工程
AIN は
Pain
の
instance
では %n
AutonomousAgent
が
工程
AIN を
experience
s %n{ない}
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
(=>
(
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
工程
は
Evacuation
の
instance
では %n
組織
は
工程
の
agent
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
A
工程
は
分類
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
(=>
(
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
工程
は
Evacuation
の
instance
では %n
組織
は
工程
の
agent
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
工程
A
工程
は
Translocation
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
A が
工程
を
experience
s %n{ない}
工程
A は
工程
の
agent
では %n
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
(=>
(
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
工程
は
Evacuation
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
組織
は
工程
の
agent
では %n
工程
工程
A
工程
は
治療経過
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
(=>
(
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
Experimenting
は
Experimenting
の
instance
では %n
人[人間]
は
人[人間]
の
instance
では %n
experimentalSubject
Experimenting
and
人[人間]
工程
工程
は
工程
の
instance
では %n
人[人間]
が
工程
を
experience
s %n{ない}
experimentalControlProcess
Experimenting
and
工程
experimentalVariableProcess
Experimenting
and
工程
(=>
(
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
工程
は
Scholarship
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
工程
は
エンティティー
エンティティー
エンティティー
は
EducationalProgram
の
instance
では %n
エンティティー
は
エンティティー
の内容を
express
es %n{ない}
エンティティー
が
エンティティー
を
experience
s %n{ない} の 目的 %n{ない}
(=>
(
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
工程
は
ForeignInternalDefense
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
エンティティー
エンティティー
エンティティー
は
学習
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
AutonomousAgent
は
エンティティー
の
agent
では %n
militaryOfArea
エンティティー
and
AutonomousAgent
エンティティー
は
MilitaryForce
の
instance
では %n
エンティティー
は
AutonomousAgent
に
located
して %n の 目的 %n{ない}
(=>
(
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
工程
は
ForeignInternalDefense
の
instance
では %n
MilitaryOrganization
は
工程
の
agent
では %n
militaryOfArea
MilitaryOrganization
and
地政学的地域
AutonomousAgent
工程
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
HostNation
の
instance
では %n
AutonomousAgent
は
地政学的地域
と
equal
では
工程
は
維持
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
and
(
instance
?FVU
FearfulVoiceUtterance
)
(
agent
?FVU ?A))
(
exists
(?F)
(
and
(
instance
?F
Fear
)
(
experiencer
?F ?A)
(
causes
?F ?FVU))))
emotion.kif 2065-2073
工程
は
FearfulVoiceUtterance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
Fear
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
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
工程
は
Gaslighting
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
suffers
工程
and
AutonomousAgent
工程
工程
は
知覚
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
causesProposition
suffers
工程
and
AutonomousAgent
and
AutonomousAgent
は
エンティティー
は
工程
の
result
では %n を
know
ない
(=>
(
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
工程
は
Hallucination
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER は
知覚
の
instance
では %n
AutonomousAgent
が
AutonomousAgent
ER を
experience
s %n{ない}
工程
は
AutonomousAgent
ER を
cause
s %n{ない}
AutonomousAgent
ER は
AutonomousAgent
ROP の情報を
contain
s %n{ない}
AutonomousAgent
ROP
is
False
%n
(=>
(
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
は
Man
の
instance
では %n
Mausaharati
は
AutonomousAgent
の
attribute
では %n
工程
は
Drumming
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
AY は
日
の
instance
では %n
時間間隔
は
Sunrise
の
instance
では %n
時間間隔
は
工程
AY の
during
に takes %n{ない}
工程
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
工程
は
エンティティー
時間間隔
UHUR and
エンティティー
エンティティー
は
WakingUp
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
時間間隔
UHUR は
Suhur
の
instance
では %n
エンティティー
は
時間間隔
UHUR の
agent
では %n
エンティティー
の
time
の existence は
時間間隔
UHUR の
time
の existence より
earlier
happens %n{ない}
エンティティー
の
time
の existence は
工程
AY の
during
に takes %n{ない}
時間間隔
UHUR の
time
の existence は
工程
AY の
during
に takes %n{ない} の 目的 %n{ない}
(=>
(
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
工程
は
Helping
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
物理
は
工程
の
result
では %n
認識エージェント
AutonomousAgent
は
認識エージェント
と
equal
では
認識エージェント
は
工程
の
patient
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
認識エージェント
は
物理
を
want
s %n{ない}
(=>
(
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
WearableItem
は
HearingProtection
の
instance
では %n
動物
は
人[人間]
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない}
WearableItem
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?HVU
HappyVoiceUtterance
)
(
agent
?HVU ?A))
(
exists
(?H)
(
and
(
instance
?H
Happiness
)
(
experiencer
?H ?A)
(
causes
?H ?HVU))))
emotion.kif 1983-1991
工程
は
HappyVoiceUtterance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
Happiness
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
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
認識エージェント
は
HealthInsuranceCompany
の
instance
では %n
customer
認識エージェント
and
AutonomousAgent
認識エージェント
は
AutonomousAgent
の 目的
エンティティー
エンティティー
エンティティー
は
診断プロセス
の
instance
では %n
エンティティー
は
治療経過
の
instance
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない}
エンティティー
は
Payment
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
への
reference
を includes %n{ない} %n{ない}
(=>
(
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
工程
は
Infecting
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
motion
工程
and
AutonomousAgent
motion
は
Translocation
の
instance
では %n
moves
motion
and
AutonomousAgent
AutonomousAgent
は
物
の
instance
では %n
工程
は
複製
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
motion
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
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
属性
は
InfectiousDisease
の
instance
では %n
属性
は
AutonomousAgent
の
attribute
では %n
工程
AutonomousAgent
工程
は
病理学的プロセス
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
微生物
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
(=>
(
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
移動
は
摂取
の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
objectTransferred
移動
and
オブジェクト
オブジェクト
は
オブジェクト
C の
instance
では %n
pathologicSideEffect
オブジェクト
C and
オブジェクト
IS
ステートメント
エンティティー
エンティティー
は
オブジェクト
IS の
instance
では %n
エンティティー
が
AutonomousAgent
を
experience
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
移動
は
摂取
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
Hallucinogen
の
instance
では %n
移動
は
エンティティー
に
end
s %n{ない}
ステートメント
オブジェクト
AL
オブジェクト
AL は
Hallucination
の
instance
では %n
エンティティー
が
オブジェクト
AL を
experience
s %n{ない} には
Likely
の
modal
force
が ある
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