experiencer
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
exists
(?T ?E)
(
and
(
instance
?T
TearSubstance
)
(
origin
?C ?E)
(
objectTransferred
?C ?T)
(
instance
?E
Eye
)
(
part
?E ?H))))
emotion.kif 1129-1139
移動
は
Crying
の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
オブジェクト
オブジェクト
オブジェクト
は
TearSubstance
の
instance
では %n
移動
は
オブジェクト
から
originate
s %n{ない}
objectTransferred
移動
and
オブジェクト
オブジェクト
は
Eye
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
holdsDuring
(
WhenFn
?C)
(
attribute
?H
Sadness
)))
emotion.kif 1141-1147
工程
は
Crying
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
Sadness
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6122-6140
工程
は
Sneezing
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
エンティティー
エンティティー
,
エンティティー
OSE and
エンティティー
エンティティー
は
NasalCavity
の
instance
では %n
エンティティー
OSE は
Nose
の
instance
では %n
エンティティー
OSE は ホール
エンティティー
の
host
と
equal
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
除却
の
instance
では %n
エンティティー
OSE は
AutonomousAgent
の
part
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM ?OBJ)
(
and
(
result
?DEATH ?REM)
(
instance
?REM
OrganicObject
)
(
holdsDuring
(
FutureFn
(
WhenFn
?DEATH))
(
attribute
?REM
Dead
))
(=>
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEATH))
(
part
?OBJ ?REM))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
part
?OBJ ?ORG))))))
Merge.kif 10222-10237
工程
は
死
の
instance
では %n
AutonomousAgent
は
物
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
エンティティー
エンティティー
は
工程
の
result
では %n
エンティティー
は
有機物
の
instance
では %n
Dead
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
after
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
part
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
エンティティー
は
AutonomousAgent
の
part
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
Mid-level-ontology.kif 85-94
工程
は
死
の
instance
では %n
エンティティー
は
OrganismRemains
の
instance
では %n
AutonomousAgent
は
物
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
は
AutonomousAgent
の
part
では %n は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
は
工程
の
result
では %n
(=>
(
and
(
instance
?DREAM
Dreaming
)
(
experiencer
?DREAM ?AGENT))
(
holdsDuring
(
WhenFn
?DREAM)
(
attribute
?AGENT
Asleep
)))
Mid-level-ontology.kif 18239-18243
工程
は
Dreaming
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
眠っている
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?E
(
EdemaFn
?P))
(
experiencer
?E ?A))
(
exists
(?PI)
(
and
(
instance
?PI
BodyPart
)
(
part
?PI ?A)
(
located
?E ?PI))))
Mid-level-ontology.kif 9986-9994
工程
は
EdemaFn
体の部分
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
体の部分
I
体の部分
I は
体の部分
の
instance
では %n
体の部分
I は
AutonomousAgent
の
part
では %n
工程
は
体の部分
I に
located
して %n
(=>
(
and
(
instance
?E
Eardrum
)
(
part
?E ?H)
(
experiencer
?HEAR ?H)
(
attribute
?H
Healthy
)
(
instance
?HEAR
Hearing
))
(
instrument
?HEAR ?E))
Anatomy.kif 1636-1643
オブジェクト
は
Eardrum
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
AutonomousAgent
が
AutonomousAgent
EAR を
experience
s %n{ない}
Healthy
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
EAR は
聴覚
の
instance
では %n
オブジェクト
は
AutonomousAgent
EAR の
instrument
では %n
(=>
(
and
(
instance
?E
Edema
)
(
experiencer
?E ?A))
(
exists
(?T ?P ?L)
(
and
(
instance
?T
Transfer
)
(
instance
?L
Liquid
)
(
instance
?P
BodyPart
)
(
part
?P ?A)
(
destination
?T ?P)
(
moves
?T ?L)
(
subProcess
?T ?E))))
Mid-level-ontology.kif 9964-9976
工程
は
Edema
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
motion
オブジェクト
and
オブジェクト
motion
は
移動
の
instance
では %n
オブジェクト
は
Liquid
の
instance
では %n
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
motion
は
オブジェクト
に
end
s %n{ない}
moves
motion
and
オブジェクト
motion
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?ELT
ExperiencingALumpInTheThroat
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Throat
)
(
part
?T ?A))))
emotion.kif 1710-1721
工程
は
ExperiencingALumpInTheThroat
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
オブジェクト
工程
は
知覚
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
Throat
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %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
?ELT
ExperiencingHeatInCheeksOrChest
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
or
(
instance
?T
Torso
)
(
instance
?T
Face
))
(
part
?T ?A))))
emotion.kif 1738-1751
工程
は
ExperiencingHeatInCheeksOrChest
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
オブジェクト
工程
は
知覚
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
Torso
の
instance
では %n
オブジェクト
は
Face
の
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 ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?EV))
(
attribute
?P
Evacuee
)))
MilitaryPersons.kif 133-140
工程
は
Evacuation
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
MilitaryOrganization
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
Evacuee
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?EV
Evacuation
)
(
experiencer
?EV ?H))
(
instance
?H
Human
))
MilitaryProcesses.kif 2534-2538
工程
は
Evacuation
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
人[人間]
の
instance
では %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
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
工程
は
工程
の
instance
では %n
人[人間]
は
AutonomousAgent
の
instance
では %n
Experimenting
は
Experimenting
の
instance
では %n
treatedUser
人[人間]
and
Experimenting
experimentalVariableProcess
Experimenting
and
工程
人[人間]
が
工程
を
experience
s %n{ない}
人[人間]
が
工程
を
experience
s %n{ない}
exclusiveEvent
Experimenting
and
工程
Experimenting
ERIMENTER
Experimenting
ERIMENTER は
AutonomousAgent
の
instance
では %n
experimenter
Experimenting
and
Experimenting
ERIMENTER
Experimenting
ERIMENTER は ステートメント
工程
は
工程
を
cause
s %n{ない} には
Likely
の
modal
force
が ある を
believe
s %n{ない}
(=>
(
and
(
instance
?F
Forgetting
)
(
experiencer
?F ?A))
(
exists
(?P)
(
and
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?F))
(
not
(
knows
?A ?P)))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?F))
(
knows
?A ?P)))))
ComputingBrands.kif 4451-4461
工程
は
Forgetting
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
AutonomousAgent
は
エンティティー
を
know
ない は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
AutonomousAgent
は
エンティティー
を
know
s %n{ない} は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
(=>
(
and
(
instance
?FALL
FallingAsleep
)
(
experiencer
?FALL ?AGENT))
(
exists
(?START ?FINISH)
(
and
(
starts
?START
(
WhenFn
?FALL))
(
finishes
?FINISH
(
WhenFn
?FALL))
(
holdsDuring
?START
(
attribute
?AGENT
Awake
))
(
holdsDuring
?FINISH
(
attribute
?AGENT
Asleep
)))))
Mid-level-ontology.kif 16380-16389
工程
は
FallingAsleep
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
時間間隔
時間間隔
時間間隔
は
工程
の
time
の existence を
start
s %n{ない}
時間間隔
は
工程
の
time
の existence を
finish
es %n{ない}
起きている
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
眠っている
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %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
?FRIGHTEN
Frightening
)
(
experiencer
?FRIGHTEN ?AGENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?FRIGHTEN))
(
not
(
attribute
?AGENT
Anxiety
)))
(
holdsDuring
(
EndFn
(
WhenFn
?FRIGHTEN))
(
attribute
?AGENT
Anxiety
))))
Mid-level-ontology.kif 18249-18255
工程
は
Frightening
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
Anxiety
は
AutonomousAgent
の
attribute
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Anxiety
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?G
GainingConsciousness
)
(
experiencer
?G ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?G))
(
attribute
?A
Unconscious
))
(
holdsDuring
(
EndFn
(
WhenFn
?G))
(
attribute
?A
Awake
))))
Mid-level-ontology.kif 16465-16477
工程
は
GainingConsciousness
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
無意識
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
起きている
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?GERD
GERefluxDisease
)
(
experiencer
?GERD ?H))
(
exists
(?T ?S ?E)
(
and
(
instance
?T
Transfer
)
(
origin
?T ?S)
(
instance
?S
Stomach
)
(
instance
?E
Esophagus
)
(
destination
?T ?E)
(
part
?S ?H)
(
part
?E ?H)
(
subProcess
?T ?GERD))))
Medicine.kif 1916-1929
工程
は
GERefluxDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
オブジェクト
and
オブジェクト
工程
は
移動
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
Esophagus
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?H
Hallucination
)
(
experiencer
?H ?P))
(
attribute
?P
PsychologicalDysfunction
))
Mid-level-ontology.kif 6423-6427
工程
は
Hallucination
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
心理的機能障害
は
AutonomousAgent
の
attribute
では %n
(=>
(
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
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