modalAttribute
(=>
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A))
(
modalAttribute
(
causesProposition
(
exists
(?ANG)
(
and
(
instance
?ANG
Anger
)
(
experiencer
?ANG ?A)))
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A)))
Likely
))
emotion.kif 1945-1958
工程
は
AngryVoiceUtterance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
causesProposition
AutonomousAgent
NG
AutonomousAgent
NG は
Anger
の
instance
では %n
AutonomousAgent
が
AutonomousAgent
NG を
experience
s %n{ない} and
工程
は
AngryVoiceUtterance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
工程
は
購買
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
認識エージェント
から
originate
s %n{ない}
publishedPrice
エンティティー
,
通貨測定
,
認識エージェント
and
PricingScheme
unitPrice
エンティティー
,
関数量
,
認識エージェント
and
PricingScheme
エンティティー
は
物理
の
subclass
では %n
エンティティー
は
エンティティー
の
immediate
の インスタンス では %n
validPaymentType
PricingScheme
and
Payment
ステートメント
Payment
MENT
Payment
MENT は
Payment
の
instance
では %n
Payment
MENT は
工程
% の
subprocess
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10577-10593
オブジェクト
は
BodySegment
の
instance
では %n
オブジェクト
は
BodySegment
の
instance
では %n
オブジェクト
は
オブジェクト
と
connected
して
motion
は
動作
の
instance
では %n
moves
motion
and
オブジェクト
ステートメント
motion
2
motion
2 は
動作
の
instance
では %n
moves
motion
2 and
オブジェクト
motion
2 の
time
の existence は
motion
の
time
の existence の
during
に takes %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?C
Carabiner
)
(
holdsDuring
?T
(
attribute
?C
DeviceClosed
)))
(
holdsDuring
?T
(
modalAttribute
(
exists
(?R)
(
and
(
instance
?R
ClimbingRope
)
(
contains
?C ?R)))
Possibility
)))
Mid-level-ontology.kif 30815-30826
エンティティー
は
Carabiner
の
instance
では %n
DeviceClosed
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
エンティティー
エンティティー
は
ClimbingRope
の
instance
では %n
エンティティー
は
エンティティー
を
contain
s %n{ない} には
Possibility
の
modal
force
が ある は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
エンティティー
は
COVIDAntibody
の
instance
では %n
Covid19
は
エンティティー
の
attribute
では
エンティティー
は
エンティティー
の
part
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
Covid19
は
エンティティー
の
attribute
では %n には
Unlikely
の
modal
force
が ある は
時間位置
の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?COMMIT
Committing
)
(
patient
?COMMIT ?FORMULA)
(
instance
?FORMULA
Formula
))
(
modalAttribute
?FORMULA
Promise
))
Merge.kif 13226-13231
工程
は
委託
の
instance
では %n
公式
は
工程
の
patient
では %n
公式
は
公式
の
instance
では %n
ステートメント
公式
には
Promise
の
modal
force
が ある
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
オブジェクト
は
Antidiuretic
の
instance
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
Urination
の
instance
では %n
時間間隔
は
時間間隔
と
equal
では
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
motion
より
earlier
happens %n{ない}
motion
は
時間間隔
より
earlier
happens %n{ない}
測定単位
は
UnitOfVolume
の
instance
では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10025-10046
オブジェクト
は
Diuretic
の
instance
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
motion
より
earlier
happens %n{ない}
motion
は
時間間隔
より
earlier
happens %n{ない}
測定単位
は
UnitOfVolume
の
instance
では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2600-2608
工程
は
DustStorm
の
instance
では %n
オブジェクト
は
地理的地域
の
instance
では %n
eventLocated
工程
and
オブジェクト
ステートメント
BadAirQuality
は
オブジェクト
の
attribute
では %n には
Likely
の
modal
force
が ある は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGAbnormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
attribute
?P
(
ImpairedBodyPartFn
Heart
))
Likely
))
Medicine.kif 1882-1891
オブジェクト
は
Electrocardiogram
の
instance
では %n
EKGAbnormal
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
への
reference
を includes %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Heart
の
instance
では %n
ステートメント
ImpairedBodyPartFn
Heart
は
オブジェクト
の
attribute
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGNormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
not
(
attribute
?P
(
ImpairedBodyPartFn
Heart
)))
Likely
))
Medicine.kif 1865-1875
オブジェクト
は
Electrocardiogram
の
instance
では %n
EKGNormal
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
への
reference
を includes %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Heart
の
instance
では %n
ステートメント
ImpairedBodyPartFn
Heart
は
オブジェクト
の
attribute
では には
Likely
の
modal
force
が ある
(=>
(
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
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 1598-1608
工程
は
Flooding
の
instance
では %n
オブジェクト
は
土地面積
の
instance
では %n
eventLocated
工程
and
オブジェクト
時点
は
時点
の
instance
では %n
時点
は
工程
の
time
の existence の
before
に happens %n{ない}
ステートメント
オブジェクト
は
SubmergedLandArea
の
instance
では %n は
時点
の
during
holds %n{ない} には
Unlikely
の
modal
force
が ある
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
TelecomNumber
は
Hotline
の
instance
では %n
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
は
組織
の
instance
では %n
TelecomNumber
は
エンティティー
エンティティー
は
Telephoning
の
instance
では %n
エンティティー
は
AutonomousAgent
に
end
s %n{ない} ステートメント
エンティティー
エンティティー
は
コミュニケーション
の
instance
では %n
TelecomNumber
は
エンティティー
の
instrument
では %n
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
time
の existence の すぐ
after
の
beginning
と
equal
では %n には
Likely
の
modal
force
が ある の 目的 %n{ない}
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2590-2598
工程
は
AtmosphericHazing
の
instance
では %n
オブジェクト
は
地理的地域
の
instance
では %n
eventLocated
工程
and
オブジェクト
ステートメント
BadAirQuality
は
オブジェクト
の
attribute
では %n には
Likely
の
modal
force
が ある は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
工程
は
衝撃
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
ImpairedBodyPartFn
Brain
は
エンティティー
の
attribute
では %n は
工程
の すぐ
after
の
during
holds %n{ない}
ステートメント
Concussion
は
エンティティー
の
attribute
では %n は
工程
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
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
が ある
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
移動
は
Injecting
の
instance
では %n
オブジェクト
は
Adalimumab
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
オブジェクト
に
located
して %n
オブジェクト
は
体の部分
の
instance
では %n
移動
は
エンティティー
に
end
s %n{ない}
ステートメント
エンティティー
PainFn
オブジェクト
は
エンティティー
の
attribute
では %n は
エンティティー
の
during
holds %n{ない}
エンティティー
は
移動
の
time
の existence の
after
の
during
に takes %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?I
Intestine
)
(
instance
?A
Animal
)
(
part
?I ?A))
(
modalAttribute
(
exists
(?E)
(
and
(
instance
?E
EscherichiaColi
)
(
contains
?I ?E)))
Likely
))
Medicine.kif 5490-5500
オブジェクト
は
Intestine
の
instance
では %n
オブジェクト
は
動物
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
ステートメント
エンティティー
エンティティー
は
EscherichiaColi
の
instance
では %n
オブジェクト
は
エンティティー
を
contain
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
オブジェクト
は
LeafSpring
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RoadVehicle
の
instance
では %n
ステートメント
オブジェクト
2
オブジェクト
2 は
LeafSpring
の
instance
では %n
オブジェクト
2 は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
2 と
equal
では
オブジェクト
は
オブジェクト
2 と
meet
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7497-7509
自己接続オブジェクト
は
LiquidDrop
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
ステートメント
自己接続オブジェクト
S
エンティティー
エンティティー
は
物質
の
instance
では %n
Liquid
は
エンティティー
の
attribute
では %n
自己接続オブジェクト
は
エンティティー
と
equal
では
自己接続オブジェクト
S は
エンティティー
の
surface
では %n
自己接続オブジェクト
は
自己接続オブジェクト
S と
meet
s %n{ない} には
Unlikely
の
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