Human
(人[人間])
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1986-1995
移動
は
Vending
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
Currency
の
instance
では
ステートメント
オブジェクト
は
FoodForFn
人[人間]
の
instance
では %n
オブジェクト
は
飲料
の
instance
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3718-3759
オブジェクト
は
CarAlarm
の
instance
では %n
オブジェクト
は
SelfPoweredRoadVehicle
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
エンティティー
,
エンティティー
and
エンティティー
オブジェクト
は
エンティティー
は
Stealing
の
instance
では %n
エンティティー
は
損害を与える
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
オブジェクト
は
エンティティー
の
patient
では %n
エンティティー
の
time
の existence は
エンティティー
と
equal
では %n
eventPartlyLocated
エンティティー
and
エンティティー
エンティティー
エンティティー
は
放射音
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
Near
対
エンティティー
では %n は
エンティティー
の
during
holds %n{ない} は
エンティティー
は
エンティティー
エンティティー
は
Stealing
の
instance
では %n
エンティティー
は
損害を与える
の
instance
では %n
eventPartlyLocated
エンティティー
and
エンティティー
オブジェクト
は
エンティティー
の
patient
では %n は
エンティティー
の
during
holds %n{ない} を
know
s %n{ない}
エンティティー
の
time
の existence は
エンティティー
の
time
の existence を
finish
es %n{ない} の 可能性を
increase
s %n{ない} の 目的 %n{ない}
の 目的 %n{ない}
(=>
(
and
(
instance
?X
ContentBearingObject
)
(
attribute
?X
Braille
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
attribute
?H
Blind
)
(
capability
Interpreting
agent
?H)
(
capability
Interpreting
patient
?X))))
Dining.kif 244-253
オブジェクト
は
コンテンツベアリングオブジェクト
の
instance
では %n
Braille
は
オブジェクト
の
attribute
では %n
オブジェクト
オブジェクト
は
人[人間]
の
instance
では %n
Blind
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Interpreting
を
agent
として行う
capable
では %n
オブジェクト
は
Interpreting
を
patient
として行う
capable
では %n
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3539-3560
WearableItem
は
Respirator
の
instance
では %n
動物
は
動物
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
WearableItem
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない}
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?X
WhirlpoolTub
)
(
attribute
?X
DoubleSize
))
(
modalAttribute
(
exists
(?T1)
(
holdsDuring
?T1
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
not
(
equal
?P1 ?P2))
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 25332-25345
オブジェクト
は
WhirlpoolTub
の
instance
では %n
DoubleSize
は
オブジェクト
の
attribute
では %n
ステートメント
エンティティー
エンティティー
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
オブジェクト
に
located
して %n
エンティティー
は
オブジェクト
に
located
して %n は
エンティティー
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
numberOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL)
(
and
(
instance
?COL
GroupOfPeople
)
(
memberType
?COL
Human
)
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2864-2873
numberOccupant
HotelReservation
and
整数
fulfillingEntity
AutonomousAgent
and
HotelReservation
コレクション
コレクション
は
GroupOfPeople
の
instance
では %n
memberType
コレクション
and
人[人間]
memberCount
コレクション
and
整数
potentialCustomer
コレクション
and
AutonomousAgent
(=>
(
and
(
subordinatePosition
?ORG ?ROLE1 ?ROLE2)
(
occupiesPosition
?PERSON1 ?ROLE1 ?ORG))
(
exists
(?PERSON2)
(
and
(
instance
?PERSON2
Human
)
(
occupiesPosition
?PERSON2 ?ROLE2 ?ORG)
(
subordinateInOrganization
?ORG ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 22752-22760
subordinatePosition
組織
,
ポジション
and
ポジション
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
人[人間]
人[人間]
は
人[人間]
の
instance
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
subordinateInOrganization
組織
,
人[人間]
and
人[人間]
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
viewType
オブジェクト
and
物理
オブジェクト
は
部屋
の
instance
では %n
オブジェクト
は
物理
の
instance
では %n
オブジェクト
は
Outside
対
オブジェクト
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n
エンティティー
は
見ること
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
agent
では %n には
Possibility
の
modal
force
が ある
(=>
(
arrested
?ARREST ?OBJ)
(
or
(
instance
?OBJ
Human
)
(
instance
?OBJ
GroupOfPeople
)))
Mid-level-ontology.kif 23487-23491
AutonomousAgent
は、
PlacingUnderArrest
の最中逮捕され %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
GroupOfPeople
の
instance
では %n
(=>
(
attribute
?COACH
Coach
)
(
exists
(?ATHLETE ?GAME ?EDUCATION)
(
and
(
instance
?ATHLETE
Human
)
(
instance
?GAME
Game
)
(
instance
?EDUCATION
EducationalProcess
)
(
agent
?EDUCATION ?COACH)
(
patient
?EDUCATION ?ATHLETE)
(
refers
?EDUCATION ?GAME))))
Sports.kif 524-533
Coach
は
AutonomousAgent
の
attribute
では %n
エンティティー
エンティティー
and
工程
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
ゲーム
の
instance
では %n
工程
は
教育過程
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
への
reference
を includes %n{ない}
(=>
(
attribute
?X
BarberShops
)
(
hasPurpose
?X
(
exists
(?HAIR ?HUMAN ?CUT ?STYLIST)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?HUMAN)
(
instance
?HUMAN
Human
)
(
instance
?CUT
Cutting
)
(
patient
?CUT ?HAIR)
(
eventLocated
?CUT ?X)
(
agent
?CUT ?STYLIST)
(
employs
?X ?STYLIST)))))
naics.kif 11934-11946
BarberShops
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Hair
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
切断
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
eventLocated
エンティティー
and
オブジェクト
エンティティー
は
エンティティー
の
agent
では %n
オブジェクト
は
エンティティー
を
employ
s %n{ない} の 目的 %n{ない}
(=>
(
attribute
?X
ExecutiveLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
BusinessExecutive
)
(
instance
?HUMAN
Human
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1224-1236
ExecutiveLevel
は
オブジェクト
の
attribute
では %n
物理
物理
は
HotelRoom
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
物理
は
エンティティー
BusinessExecutive
は
エンティティー
の
attribute
では %n
エンティティー
は
人[人間]
の
instance
では %n
stays
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
attribute
?X
FemaleExecutiveRoom
)
(
hasPurpose
?X
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
attribute
?HUMAN
Female
)
(
attribute
?HUMAN
BusinessExecutive
)
(
stays
?HUMAN ?X)))))
Hotel.kif 1042-1050
FemaleExecutiveRoom
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
Female
は
エンティティー
の
attribute
では %n
BusinessExecutive
は
エンティティー
の
attribute
では %n
stays
エンティティー
and
オブジェクト
の 目的 %n{ない}
(=>
(
attribute
?X
HandicappedFriendly
)
(
exists
(?ATTR ?PERSON)
(
and
(
instance
?ATTR
Disability
)
(
instance
?PERSON
Human
)
(
attribute
?PERSON ?ATTR)
(
inScopeOfInterest
?PERSON ?X))))
Mid-level-ontology.kif 26170-26177
HandicappedFriendly
は
オブジェクト
の
attribute
では %n
属性
認識エージェント
属性
は
Disability
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
属性
は
認識エージェント
の
attribute
では %n
認識エージェント
は
オブジェクト
に
interested
が %n
(=>
(
attribute
?X
Multilingual
)
(
instance
?X
Human
))
Mid-level-ontology.kif 25732-25734
Multilingual
は
オブジェクト
の
attribute
では %n
オブジェクト
は
人[人間]
の
instance
では %n
(=>
(
attribute
?X
SnackAndNonalcoholicBeverageBars
)
(
hasPurpose
?X
(
exists
(?SELL ?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
instance
?SELL
Selling
)
(
patient
?SELL ?FOOD)
(
agent
?SELL ?X)))))
naics.kif 11668-11676
SnackAndNonalcoholicBeverageBars
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
FoodForFn
人[人間]
の
instance
では %n
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
オブジェクト
は
エンティティー
の
agent
では %n の 目的 %n{ない}
(=>
(
attribute
?X
Waiter
)
(
instance
?X
Human
))
Mid-level-ontology.kif 20596-20598
Waiter
は
オブジェクト
の
attribute
では %n
オブジェクト
は
人[人間]
の
instance
では %n
(=>
(
bloodVolume
?H ?V)
(
and
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
contains
?H ?B)
(
instance
?H
Human
)
(
measure
?B ?V)))
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Blood
)
(
contains
?H ?B2)
(
not
(
piece
?B2 ?B)))))))
Medicine.kif 5897-5912
bloodVolume
人[人間]
and
容積測定
物質
物質
は
血
の
instance
では %n
人[人間]
は
物質
を
contain
s %n{ない}
人[人間]
は
人[人間]
の
instance
では %n
物質
の
measure
は
容積測定
では %n
物質
2
物質
2 は
血
の
instance
では %n
人[人間]
は
物質
2 を
contain
s %n{ない}
物質
2 は
物質
の
piece
では
(=>
(
electionForPosition
?ELECTION ?ROLE)
(
exists
(?CANDIDATE)
(
and
(
instance
?CANDIDATE
Human
)
(
candidateForPosition
?ELECTION ?ROLE ?CANDIDATE))))
Government.kif 1753-1758
electionForPosition
Election
and
社会的役割
AutonomousAgent
AutonomousAgent
は
人[人間]
の
instance
では %n
candidateForPosition
Election
,
社会的役割
and
AutonomousAgent
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
causes
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
during
(
WhenFn
?P) ?T)))
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))))
emotion.kif 865-877
InterpersonalDisgust
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
エンティティー
は
知覚
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
の
time
の existence は
時間位置
の
during
に takes %n{ない} は
InterpersonalDisgust
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない} を
cause
s %n{ない}
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
not
(
equal
?H ?A))
(
during
(
WhenFn
?P) ?T))))
emotion.kif 852-863
InterpersonalDisgust
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
エンティティー
工程
は
知覚
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
AutonomousAgent
と
equal
では
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
(=>
(
holdsDuring
?T
(
attribute
?X
SafetyPosition
))
(
holdsDuring
?T
(
hasPurpose
?X
(
exists
(?P ?H ?I ?T2)
(
and
(
instance
?H
Human
)
(
instance
?P
Process
)
(
patient
?P ?H)
(
agent
?P ?X)
(
prevents
?P
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(=>
(
holdsDuring
?T2
(
experiencer
?I ?H))
(
not
(
holdsDuring
?T2
(
patient
?P ?H))))))))))))
Mid-level-ontology.kif 30695-30715
SafetyPosition
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
エンティティー
エンティティー
,
エンティティー
and
時間位置
2
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
で記述される
class
の出来事を
prevent
s %n{ない} の 目的 %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
holdsDuring
?TIME
(
attribute
?SLAVE
HumanSlave
))
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
not
(
equal
?PERSON ?SLAVE))
(
holdsDuring
?TIME
(
possesses
?PERSON ?SLAVE)))))
Mid-level-ontology.kif 176-183
HumanSlave
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
エンティティー
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
Tourniquet
は
オブジェクト
の
attribute
では %n は
オブジェクト
IME の
during
holds %n{ない}
AutonomousAgent
工程
and
移動
AutonomousAgent
は
人[人間]
の
instance
では %n
工程
は
Bleeding
の
instance
では %n
移動
は
取付け
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
移動
は
AutonomousAgent
に
end
s %n{ない}
objectTransferred
移動
and
オブジェクト
オブジェクト
は
工程
2
工程
2 は
Bleeding
の
instance
では %n
移動
の
time
の existence の すぐ
after
は
工程
2 の
time
の existence と
overlap
s %n{dない}
AutonomousAgent
が
工程
2 を
experience
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?A
Ambulance
)
(
hasPurpose
?A
(
exists
(?P ?T)
(
and
(
instance
?P
Human
)
(
or
(
attribute
?P
DiseaseOrSyndrome
)
(
exists
(?I ?H)
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?H)
(
before
?I ?T))))
(
instance
?T
Transportation
)
(
instrument
?T ?A)
(
patient
?T ?H)))))
Transportation.kif 1906-1921
物理
は
Ambulance
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
病気または症候群
は
エンティティー
の
attribute
では %n
エンティティー
エンティティー
エンティティー
は
けが
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
エンティティー
は
エンティティー
の
before
に happens %n{ない}
エンティティー
は
交通手段
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %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