Human
(人[人間])
(=>
(
and
(
instance
?LANG
AnimalLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
and
(
instance
?AGENT
Animal
)
(
not
(
instance
?AGENT
Human
))))
Merge.kif 1420-1427
オブジェクト
は
動物言語
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
instrument
では %n
AutonomousAgent
は
動物
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では
(=>
(
and
(
instance
?LANG
HumanLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
instance
?AGENT
Human
))
Merge.kif 1453-1458
オブジェクト
は
人間の言語
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
instrument
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
Catalog
は
Menu
の
instance
では %n
catalogItem
エンティティー
and
Catalog
エンティティー
は
FoodForFn
人[人間]
の
subclass
では %n
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))))
emotion.kif 1393-1411
工程
は
MovingAwayFromPeople
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
エンティティー
,
実数
and
実数
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
UnitOfLength
の
instance
では %n
工程
と
AutonomousAgent
の
distance
は
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
工程
と
AutonomousAgent
の
distance
は
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D1 ?D2))))
emotion.kif 1427-1445
工程
は
MovingTowardsPeople
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
エンティティー
,
実数
and
実数
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
UnitOfLength
の
instance
では %n
工程
と
AutonomousAgent
の
distance
は
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
工程
と
AutonomousAgent
の
distance
は
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AgricultureForestryFishingAndHunting
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?MEM)
(
exists
(?THING ?EV2 ?MEM2)
(
and
(
or
(
instance
?EV
Killing
)
(
instance
?EV
Maintaining
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Animal
)
(
instance
?THING
Plant
))
(
not
(
instance
?THING
Human
))
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 50-72
コレクション
は
組織
の
instance
では %n
AgricultureForestryFishingAndHunting
は
コレクション
の
attribute
では %n
工程
AutonomousAgent
AutonomousAgent
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
工程
2 and
AutonomousAgent
2
工程
は
殺害
の
instance
では %n
工程
は
維持
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
動物
の
instance
では %n
エンティティー
は
植物
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では
AutonomousAgent
2 は
コレクション
の
member
では %n
工程
2 は
販売
の
instance
では %n
AutonomousAgent
2 は
工程
2 の
agent
では %n
エンティティー
は
工程
2 の
patient
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AirTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?FLY ?PLANE ?OBJ)
(
and
(
instance
?FLY
Transportation
)
(
or
(
patient
?FLY ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?FLY ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?PLANE)
(
instance
?PLANE
Aircraft
))) ?MEM ?P))))))
naics.kif 7953-7978
コレクション
は
組織
の
instance
では %n
AirTransportationIndustry
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
認識エージェント
LANE and
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
コレクション
は
認識エージェント
LANE を
possess
es %n{ない}
認識エージェント
LANE は
Aircraft
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
CouriersAndMessengers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS)
(
and
(
instance
?TRANS
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8736-8756
コレクション
は
組織
の
instance
では %n
CouriersAndMessengers
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
GeneralMerchandiseStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7702-7716
コレクション
は
組織
の
instance
では %n
GeneralMerchandiseStores
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
AutonomousAgent
は
エンティティー
に
end
s %n{ない}
エンティティー
は
AutonomousAgent
の
patient
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
MiscellaneousStoreRetailers
))
(
exists
(?EV ?MEM ?THING ?ST ?P)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?P)
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?ST
RetailStore
)
(
eventLocated
?EV ?ST)
(
instance
?THING
Object
)
(
patient
?EV ?THING))))
naics.kif 7752-7765
コレクション
は
組織
の
instance
では %n
MiscellaneousStoreRetailers
は
コレクション
の
attribute
では %n
工程
物理
,
エンティティー
,
オブジェクト
and
AutonomousAgent
物理
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
販売
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
オブジェクト
は
RetailStore
の
instance
では %n
eventLocated
工程
and
オブジェクト
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
NonstoreRetailers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
not
(
eventLocated
?EV
RetailStore
))
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7877-7893
コレクション
は
組織
の
instance
では %n
NonstoreRetailers
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
eventLocated
AutonomousAgent
and
RetailStore
AutonomousAgent
は
エンティティー
に
end
s %n{ない}
エンティティー
は
AutonomousAgent
の
patient
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PipelineTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ ?PIPE)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Substance
)
(
possesses
?ORG ?V)
(
instrument
?T ?PIPE)
(
instance
?PIPE
Pipeline
))) ?MEM ?P))))))
naics.kif 8465-8488
コレクション
は
組織
の
instance
では %n
PipelineTransportation
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
,
エンティティー
and
認識エージェント
IPE
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
物質
の
instance
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
認識エージェント
IPE は
エンティティー
の
instrument
では %n
認識エージェント
IPE は
Pipeline
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PostalService
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS)
(
and
(
instance
?TRANS
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8707-8727
コレクション
は
組織
の
instance
では %n
PostalService
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
RailTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?MOVE ?RR ?OBJ)
(
and
(
instance
?MOVE
Transportation
)
(
or
(
patient
?MOVE ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?MOVE ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?RR)
(
instance
?RR
RailVehicle
))) ?MEM ?P))))))
naics.kif 8034-8059
コレクション
は
組織
の
instance
では %n
RailTransportation
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
and
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
RailVehicle
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ScenicAndSightseeingTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS ?VEH)
(
and
(
instance
?TRANS
Transportation
)
(
instance
?TRANS
RecreationOrExercise
)
(
patient
?TRANS ?P)
(
possesses
?ORG ?VEH)
(
instance
?VEH
Vehicle
))) ?MEM ?P))))))
naics.kif 8528-8549
コレクション
は
組織
の
instance
では %n
ScenicAndSightseeingTransportation
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
交通手段
の
instance
では %n
エンティティー
は
レクリエーションまたは運動
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
Vehicle
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TransitAndGroundPassengerTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?P)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8344-8364
コレクション
は
組織
の
instance
では %n
TransitAndGroundPassengerTransportation
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
LandVehicle
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TruckTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8253-8275
コレクション
は
組織
の
instance
では %n
TruckTransportation
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
and
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
LandVehicle
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WarehousingAndStorage
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?B ?T)
(
and
(
instance
?T
TimeInterval
)
(
instance
?B
Building
)
(
possesses
?P ?OBJ)
(
holdsDuring
?T
(
located
?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8776-8797
コレクション
は
組織
の
instance
では %n
WarehousingAndStorage
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
時間間隔
の
instance
では %n
エンティティー
は
建物
の
instance
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
に
located
して %n は
エンティティー
の
during
holds %n{ない} のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WaterTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
or
(
patient
?T ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?V)
(
instance
?V
WaterVehicle
))) ?MEM ?P))))))
naics.kif 8080-8105
コレクション
は
組織
の
instance
では %n
WaterTransportationIndustry
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
and
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
WaterVehicle
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 610-627
工程
は
FoodPickup
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
エンティティー
は
FoodForFn
人[人間]
の
instance
では %n
オブジェクト
工程
and
工程
AutonomousAgent
は
オブジェクト
に
located
して %n
工程
は
Translocation
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
オブジェクト
に
end
s %n{ない}
工程
は
取得
の
instance
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
(=>
(
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
?SHIRT
Shirt
)
(
wears
?PERSON ?SHIRT))
(
instance
?PERSON
Human
))
Mid-level-ontology.kif 5262-5266
WearableItem
は
Shirt
の
instance
では %n
動物
は % を
wear
s %n{ない}
動物
は
人[人間]
の
instance
では %n
(=>
(
and
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?OBJ)
(
attribute
?SOUND
Audible
))
(
exists
(?HUMAN ?HEAR)
(
and
(
instance
?HUMAN
Human
)
(
capability
(
KappaFn
?HEAR
(
and
(
instance
?HEAR
Hearing
)
(
agent
?HEAR ?HUMAN)
(
destination
?HEAR ?HUMAN)
(
origin
?HEAR ?OBJ)))
agent
?HUMAN))))
Merge.kif 13610-13624
工程
は
放射音
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
Audible
は
工程
の
attribute
では %n
オブジェクト
記号文字列
オブジェクト
は
人[人間]
の
instance
では %n
オブジェクト
は
記号文字列
で記述される
class
を
agent
として行う
capable
では %n
(=>
(
and
(
instance
?T
Thanking
)
(
destination
?T ?P))
(
instance
?P
Human
))
Mid-level-ontology.kif 13160-13164
工程
は
Thanking
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
人[人間]
の
instance
では %n
(=>
(
and
(
instance
?THANK
Thanking
)
(
agent
?THANK ?AGENT)
(
patient
?THANK ?THING)
(
destination
?THANK ?PERSON))
(
and
(
instance
?PERSON
Human
)
(
or
(
holdsDuring
(
WhenFn
?THANK)
(
wants
?AGENT ?THING))
(
holdsDuring
(
WhenFn
?THANK)
(
desires
?AGENT ?THING)))))
Mid-level-ontology.kif 13148-13158
工程
は
Thanking
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
人[人間]
の
instance
では %n
AutonomousAgent
は
エンティティー
を
want
s %n{ない} は
工程
の
time
の existence の
during
holds %n{ない}
AutonomousAgent
が
エンティティー
を
desire
s %n{ない} は
工程
の
time
の existence の
during
holds %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