experiencer
(=>
(
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
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
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
sideEffect
?DC ?DIS))
(
modalAttribute
(
attribute
?H ?DIS)
Likely
))
WMD.kif 1545-1554
移動
は
摂取
の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
objectTransferred
移動
and
オブジェクト
オブジェクト
は
オブジェクト
C の
instance
では %n
sideEffect
オブジェクト
C and
オブジェクト
IS
ステートメント
オブジェクト
IS は
AutonomousAgent
の
attribute
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9774-9795
移動
は
摂取
の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
objectTransferred
移動
and
オブジェクト
オブジェクト
は
MoodStabilizer
の
instance
では %n
工程
は
工程
C の
instance
では %n
involvedInEvent
工程
and
AutonomousAgent
工程
S は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない}
工程
S は
感情状態
の
instance
では %n
工程
2 は
工程
C の
instance
では %n
involvedInEvent
工程
2 and
AutonomousAgent
工程
2 の
time
の existence は
移動
の
time
の existence より
earlier
happens %n{ない}
ステートメント
工程
S は
AutonomousAgent
の
attribute
では %n は
工程
2 の
during
hold ない には
Unlikely
の
modal
force
が ある
(=>
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
attribute
?A
Injury
)))
Medicine.kif 104-111
工程
は
けが
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
Injury
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
exists
(?TH)
(
and
(
instance
?TH
Trachea
)
(
part
?TH ?H)
(
destination
?I ?TH))))
Medicine.kif 4135-4145
移動
は
Intubation
の
instance
では %n
オブジェクト
は
Tube
の
instance
では %n
objectTransferred
移動
and
オブジェクト
AutonomousAgent
が
移動
を
experience
s %n{ない}
オブジェクト
H
オブジェクト
H は
Trachea
の
instance
では %n
オブジェクト
H は
AutonomousAgent
の
part
では %n
移動
は
オブジェクト
H に
end
s %n{ない}
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
hasPurpose
?I
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
instrument
?B ?T)))))
Medicine.kif 4123-4133
移動
は
Intubation
の
instance
では %n
オブジェクト
は
Tube
の
instance
では %n
objectTransferred
移動
and
オブジェクト
AutonomousAgent
が
移動
を
experience
s %n{ない}
移動
は
エンティティー
エンティティー
は
呼吸
の
instance
では %n
オブジェクト
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5725-5736
工程
は
Itching
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
オブジェクト
は
認識エージェント
の
part
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
認識エージェント
が
エンティティー
エンティティー
は
Scratching
の
instance
では %n
エンティティー
の
time
の existence は
工程
の
time
の existence の
during
に takes %n{ない}
エンティティー
は
オブジェクト
に
located
して %n を
desire
s %n{ない}
(=>
(
and
(
instance
?IBD
AddisonsDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
AdrenalGland
)))
Medicine.kif 2316-2321
工程
は
AddisonsDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
AdrenalGland
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2329-2334
工程
は
GravesDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
ThyroidGland
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2336-2351
工程
は
GravesDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
人[人間]
の
instance
では %n
オブジェクト
は
ThyroidHormone
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
は
人[人間]
の
instance
では %n
オブジェクト
は
ThyroidHormone
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
Healthy
は
オブジェクト
の
attribute
では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2375-2380
工程
は
HashimotosThyroiditis
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
ThyroidGland
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N2 ?N1))
Medicine.kif 2382-2397
工程
は
HashimotosThyroiditis
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
人[人間]
の
instance
では %n
オブジェクト
は
ThyroidHormone
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
は
人[人間]
の
instance
では %n
オブジェクト
は
ThyroidHormone
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
Healthy
は
オブジェクト
の
attribute
では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?IBD
InflammatoryBowelDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
GastroIntestinalTract
)))
Medicine.kif 2282-2287
工程
は
InflammatoryBowelDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
GastroIntestinalTract
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
工程
は
UlcerativeColitis
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
LargeIntestine
は
AutonomousAgent
の
attribute
では %n
ImpairedBodyPartFn
Rectum
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?IV
InvasiveVentilator
)
(
instance
?B
Breathing
)
(
experiencer
?B ?H)
(
instrument
?B ?IV))
(
exists
(?IN)
(
and
(
instance
?IN
Intubation
)
(
destination
?IN ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?B)))))
Medicine.kif 4105-4117
オブジェクト
は
InvasiveVentilator
の
instance
では %n
工程
は
呼吸
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
は
工程
の
instrument
では %n
工程
工程
は
Intubation
の
instance
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
and
(
instance
?A
Animal
)
(
attribute
?A
Female
)))
Mid-level-ontology.kif 24131-24137
工程
は
LayingEggs
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
動物
の
instance
では %n
Female
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
exists
(?E)
(
and
(
instance
?E
Egg
)
(
patient
?L ?E)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
part
?E ?A))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
not
(
part
?E ?A))))))
Mid-level-ontology.kif 24116-24129
工程
は
LayingEggs
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
エンティティー
は
Egg
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
AutonomousAgent
の
part
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
AutonomousAgent
の
part
では は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?L
LosingConsciousness
)
(
experiencer
?L ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
attribute
?A
Awake
))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
attribute
?A
Unconscious
))))
Mid-level-ontology.kif 16484-16494
工程
は
LosingConsciousness
の
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
?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
?M
Menstruation
)
(
experiencer
?M ?F))
(
and
(
attribute
?F
Female
)
(
not
(
attribute
?F
Menopausal
))))
Mid-level-ontology.kif 23880-23887
工程
は
Menstruation
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
Female
は
AutonomousAgent
の
attribute
では %n
Menopausal
は
AutonomousAgent
の
attribute
では
(=>
(
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
?MS
MultipleSclerosis
)
(
experiencer
?MS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NervousSystem
)))
Medicine.kif 2251-2256
工程
は
MultipleSclerosis
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
NervousSystem
は
AutonomousAgent
の
attribute
では %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{ない}
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