Likely
(=>
(
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
?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
)
(
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
?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
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
工程
は
CeliacDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
は
SmallIntestine
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
ステートメント
工程
は
オブジェクト
に
located
して %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?POLICY
DailyHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY))
(
modalAttribute
(
exists
(?GUEST ?ROOM ?STAY)
(
and
(
guest
?GUEST ?AGENT)
(
stays
?GUEST ?ROOM)
(
equal
?STAY
(
WhenFn
(
stays
?GUEST ?ROOM)))
(
holdsDuring
?STAY
(
forall
(?DAY)
(=>
(
and
(
instance
?DAY
Day
)
(
during
?DAY ?STAY))
(
exists
(?RC)
(
and
(
instance
?RC
RoomCleaningService
)
(
patient
?RC ?ROOM)
(
during
?RC ?DAY))))))))
Likely
))
Hotel.kif 2654-2674
Policy
は
DailyHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
ステートメント
エンティティー
エンティティー
and
エンティティー
guest
エンティティー
and
組織
stays
エンティティー
and
エンティティー
エンティティー
は
stays
エンティティー
and
エンティティー
の
time
の existence と
equal
では %n
エンティティー
エンティティー
は
日
の
instance
では %n
エンティティー
は
エンティティー
の
during
に takes %n{ない}
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
during
に takes %n{ない}
は
エンティティー
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?POLICY
NoHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
not
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM)))))))
Likely
))
Hotel.kif 2681-2697
Policy
は
NoHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
TravelerAccommodation
は
組織
の
attribute
では %n
ステートメント
エンティティー
エンティティー
guest
エンティティー
and
組織
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n は
stays
エンティティー
and
エンティティー
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?POLICY
WithHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM))))))
Likely
))
Hotel.kif 2704-2719
Policy
は
WithHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
TravelerAccommodation
は
組織
の
attribute
では %n
ステートメント
エンティティー
エンティティー
guest
エンティティー
and
組織
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n は
stays
エンティティー
and
エンティティー
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?PV
PhysicalViolence
)
(
agent
?PV ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?PV)
(
attribute
?A
Anger
))
Likely
))
emotion.kif 1646-1654
工程
は
PhysicalViolence
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
Anger
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
AutonomousAgent
は
Restaurant
の
instance
では %n
オブジェクト
は
DiningRoom
の
instance
では %n
PrivateAttribute
は
オブジェクト
の
attribute
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
customer
認識エージェント
and
AutonomousAgent
工程
は
摂食
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
認識エージェント
は
GroupOfPeople
の
instance
では %n
ステートメント
エンティティー
エンティティー
customer
エンティティー
and
AutonomousAgent
認識エージェント
は
エンティティー
と
equal
では
エンティティー
は
摂食
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
eventLocated
エンティティー
and
オブジェクト
は
工程
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?S
Laughing
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1626-1634
工程
は
Laughing
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ステートメント
Happiness
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
?S
Smiling
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1614-1622
工程
は
Smiling
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ステートメント
Happiness
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?S
Spamming
)
(
instance
?G
GroupOfPeople
)
(
memberCount
?G ?N)
(
destination
?S ?G))
(
modalAttribute
(
greaterThan
?N 100)
Likely
))
ComputingBrands.kif 4187-4195
工程
は
Spamming
の
instance
では %n
コレクション
は
GroupOfPeople
の
instance
では %n
memberCount
コレクション
and
整数
工程
は
コレクション
に
end
s %n{ない}
ステートメント
整数
は 100 より
greater
では %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