experiencer
(=>
(
and
(
instance
?I
Insomnia
)
(
experiencer
?I ?H))
(
exists
(?S ?D ?D2)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
duration
(
WhenFn
?S) ?D)
(
desires
?H
(
and
(
duration
(
WhenFn
?S) ?D2)
(
greaterThan
?D2 ?D))))))
Mid-level-ontology.kif 16447-16459
工程
は
Insomnia
の
instance
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
工程
時間分
and
時間分
2
工程
は
Sleeping
の
instance
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
工程
の
time
の existence の
duration
は
時間分
では %n
認識エージェント
が
工程
の
time
の existence の
duration
は
時間分
2 では %n
時間分
2 は
時間分
より
greater
では %n を
desire
s %n{ない}
(=>
(
and
(
instance
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18621-18639
工程
は
Inheriting
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
工程
は
死
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
AutonomousAgent
は
エンティティー
を
possess
es %n{ない} は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
AutonomousAgent
は
認識エージェント
が
認識エージェント
は
エンティティー
を
possess
es %n{ない} のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?OBJ))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?OBJ)
(
causes
?KILL ?DEATH))))
Merge.kif 12313-12321
工程
は
殺害
の
instance
では %n
AutonomousAgent
は
工程
の
patient
では %n
工程
工程
は
死
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
工程
は
Lupus
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ステートメント
エンティティー
エンティティー
は
SkinRash
の
instance
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A))
(
not
(
exists
(?MT)
(
and
(
overlapsTemporally
?MT ?MR)
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A)))))
emotion.kif 1464-1473
時間間隔
は
MusclesRelaxing
の
instance
では %n
AutonomousAgent
が
時間間隔
を
experience
s %n{ない}
時間間隔
時間間隔
は
時間間隔
と
overlap
s %n{dない}
時間間隔
は
MusclesBecomingTense
の
instance
では %n
AutonomousAgent
が
時間間隔
を
experience
s %n{ない}
(=>
(
and
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A))
(
not
(
exists
(?MR)
(
and
(
overlapsTemporally
?MR ?MT)
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A)))))
emotion.kif 1450-1459
時間間隔
は
MusclesBecomingTense
の
instance
では %n
AutonomousAgent
が
時間間隔
を
experience
s %n{ない}
時間間隔
時間間隔
は
時間間隔
と
overlap
s %n{dない}
時間間隔
は
MusclesRelaxing
の
instance
では %n
AutonomousAgent
が
時間間隔
を
experience
s %n{ない}
(=>
(
and
(
instance
?N
Nausea
)
(
experiencer
?N ?H))
(
believes
?H
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?N))
(
exists
(?V)
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?H))))))
Mid-level-ontology.kif 21432-21443
工程
は
Nausea
の
instance
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
認識エージェント
は
エンティティー
エンティティー
は
Vomiting
の
instance
では %n
認識エージェント
が
エンティティー
を
experience
s %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない} を
believe
s %n{ない}
(=>
(
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
工程
は
CeliacDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
は
SmallIntestine
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
ステートメント
エンティティー
エンティティー
は
Diarrhoea
の
instance
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない}
工程
は
エンティティー
を
cause
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?P
HeartPalpitations
)
(
experiencer
?P ?H)
(
instance
?HEART
Heart
)
(
part
?HEART ?H))
(
exists
(?PER)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?H)
(
patient
?PER ?HEART))))
Medicine.kif 2060-2070
工程
は
HeartPalpitations
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
EART は
Heart
の
instance
では %n
AutonomousAgent
EART は
AutonomousAgent
の
part
では %n
工程
ER
工程
ER は
知覚
の
instance
では %n
AutonomousAgent
が
工程
ER を
experience
s %n{ない}
AutonomousAgent
EART は
工程
ER の
patient
では %n
(=>
(
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
オブジェクト
は
Poison
の
instance
では %n
motion
は
摂取
の
instance
では %n
moves
motion
and
オブジェクト
AutonomousAgent
が
motion
を
experience
s %n{ない}
工程
工程
は
損害を与える
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
motion
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?PP
PublicProgram
)
(
experiencer
?PP ?PUBLIC))
(
hasPurpose
?PP
(
exists
(?HELPING)
(
and
(
instance
?HELPING
Helping
)
(
experiencer
?HELPING ?PUBLIC)
(
instance
?PUBLIC
Public
)))))
MilitaryProcesses.kif 1383-1392
工程
は
PublicProgram
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
エンティティー
エンティティー
は
Helping
の
instance
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない}
AutonomousAgent
は
Public
の
instance
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?S
Sepsis
)
(
experiencer
?S ?H))
(
exists
(?I)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
causes
?I ?S))))
Medicine.kif 5527-5535
工程
は
Sepsis
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
は
Infecting
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?S
SkinRash
)
(
experiencer
?S ?H))
(
modalAttribute
(
exists
(?I)
(
and
(
instance
?I
Itching
)
(
experiencer
?I ?H)
(
during
(
WhenFn
?I)
(
WhenFn
?S))))
Likely
))
Mid-level-ontology.kif 5749-5759
工程
は
SkinRash
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ステートメント
エンティティー
エンティティー
は
Itching
の
instance
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない}
エンティティー
の
time
の existence は
工程
の
time
の existence の
during
に takes %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
WearableItem
は
SafetyHarness
の
instance
では %n
動物
は
動物
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
WearableItem
は
エンティティー
の
instrument
では %n
動物
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?SHN
SupportHNAssistance
)
(
experiencer
?SHN ?HN)
(
instance
?HN
HostNation
))
(
exists
(?OP)
(
and
(
instance
?OP
MilitaryOperation
)
(
instance
?OP
Helping
)
(
experiencer
?OP ?HN)
(
patient
?SHN ?OP))))
MilitaryProcesses.kif 1293-1303
工程
は
SupportHNAssistance
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
HostNation
の
instance
では %n
工程
工程
は
MilitaryOperation
の
instance
では %n
工程
は
Helping
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
の
patient
では %n
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
experiencer
?A2)
(
not
(
capability
?S
experiencer
?A)))))
Merge.kif 13494-13504
工程
は
SenseImpairmentFn
知覚
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
2
AutonomousAgent
2 は
AutonomousAgent
と
equal
では
AutonomousAgent
2 は
知覚
を
experiencer
として行う
capable
では %n
AutonomousAgent
は
知覚
を
experiencer
として行う
capable
では
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
not
(
capability
?S
experiencer
?A)))
Merge.kif 13514-13519
工程
は
SenseImpairmentFn
知覚
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
知覚
を
experiencer
として行う
capable
では
(=>
(
and
(
instance
?SVU
SadVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Sadness
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1967-1975
工程
は
SadVoiceUtterance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
Sadness
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?SVU
SurprisedVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Surprise
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1928-1936
工程
は
SurprisedVoiceUtterance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
Surprise
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
AutonomousAgent
は
Ticket
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
issuedBy
AutonomousAgent
and
認識エージェント
AmusementGamblingAndRecreationIndustries
は
認識エージェント
の
attribute
では %n
認識エージェント
は
オブジェクト
に
located
して %n
confersNorm
認識エージェント
,
エンティティー
エンティティー
は
レクリエーションまたは運動
の
instance
では %n
オブジェクト
が
エンティティー
を
experience
s %n{ない}
eventLocated
エンティティー
and
オブジェクト
and
Permission
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
時間間隔
は
TimePeriod
の
instance
では %n
時間間隔
の
duration
は
実数
の
MinuteDuration
(s) では %n
実数
は 5.0 より
greater
では %n
エンティティー
は
人[人間]
の
instance
では %n
工程
工程
は
呼吸
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
エンティティー
は
工程
の
patient
では %n
ステートメント
エンティティー
エンティティー
は
死
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
時間間隔
は
エンティティー
の
time
の existence に
meet
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11305-11328
工程
は
Translocation
の
instance
では %n
工程
は
Translocation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
オブジェクト
に
end
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
は
Translocation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence を
start
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence を
finish
es %n{ない}
(=>
(
and
(
issuedBy
?TICKET ?AGENT)
(
instance
?TICKET
Ticket
)
(
possesses
?CUST ?TICKET))
(
confersNorm
?AGENT
(
exists
(?T)
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
agent
?P ?AGENT)
(
experiencer
?P ?CUST)))))
Permission
))
Mid-level-ontology.kif 16542-16554
issuedBy
証明書
and
認識エージェント
証明書
は
Ticket
の
instance
では %n
AutonomousAgent
は
証明書
を
possess
es %n{ない}
confersNorm
認識エージェント
,
エンティティー
エンティティー
エンティティー
は
工程
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない} は
エンティティー
の
during
holds %n{ない} and
Permission
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
reservedPackage
Reservation
and
命題
reservingEntity
Reservation
and
Reservation
ステートメント
エンティティー
エンティティー
は
命題
の内容を
express
es %n{ない}
Reservation
が
エンティティー
を
experience
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
vaccine
?VAC ?VIR)
(
instance
?V
Vaccination
)
(
experiencer
?V ?H)
(
instance
?VACI ?VAC)
(
objectTransferred
?V ?VACI))
(
hasPurpose
?VACI
(
not
(
exists
(?I ?VIRI)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
instance
?VIRI ?VIR)
(
objectTransferred
?I ?VIRI))))))
WMD.kif 1089-1103
vaccine
Vaccine
and
ウイルス
移動
は
Vaccination
の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
Vaccine
I は
Vaccine
の
instance
では %n
objectTransferred
移動
and
Vaccine
I
Vaccine
I は
エンティティー
ウイルス
I
エンティティー
は
Infecting
の
instance
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない}
ウイルス
I は
ウイルス
の
instance
では %n
objectTransferred
エンティティー
and
ウイルス
I の 目的 %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