Human
(=>
(
and
(
instance
?LANG
AnimalLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
and
(
instance
?AGENT
Animal
)
(
not
(
instance
?AGENT
Human
))))
Merge.kif 1420-1427
例
Object
and
AnimalLanguage
agent
Process
and
AutonomousAgent
儀器
Process
and
Object
例
AutonomousAgent
and
Animal
例
AutonomousAgent
and
Human
(=>
(
and
(
instance
?LANG
HumanLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
instance
?AGENT
Human
))
Merge.kif 1453-1458
例
Object
and
HumanLanguage
agent
Process
and
AutonomousAgent
儀器
Process
and
Object
例
AutonomousAgent
and
Human
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
例
Catalog
and
Menu
Entity
是在
Catalog
子類
Entity
and
food
for
Human
(=>
(
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
例
Process
and
MovingAwayFromPeople
agent
Process
and
AutonomousAgent
Entity
Entity
,
RealNumber
and
RealNumber
例
Entity
and
Human
例
Entity
and
UnitOfLength
持有期間
不久的過去
何時
Process
and
距離
Process
,
AutonomousAgent
and
測量
RealNumber
and
Entity
持有期間
眼前的未來
何時
Process
and
距離
Process
,
AutonomousAgent
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
MovingTowardsPeople
agent
Process
and
AutonomousAgent
Entity
Entity
,
RealNumber
and
RealNumber
例
Entity
and
Human
例
Entity
and
UnitOfLength
持有期間
不久的過去
何時
Process
and
距離
Process
,
AutonomousAgent
and
測量
RealNumber
and
Entity
持有期間
眼前的未來
何時
Process
and
距離
Process
,
AutonomousAgent
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Collection
and
Organization
attribute
Collection
and
農業林業捕魚和狩獵
Process
AutonomousAgent
會員
AutonomousAgent
and
Collection
agent
Process
and
AutonomousAgent
Entity
Process
and
AutonomousAgent
例
Process
and
Killing
例
Process
and
Maintaining
患者
Process
and
Entity
例
Entity
and
Animal
例
Entity
and
Plant
例
Entity
and
Human
會員
AutonomousAgent
and
Collection
例
Process
and
Selling
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
(=>
(
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
例
Collection
and
Organization
attribute
Collection
and
航空運輸業
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
CognitiveAgent
LANE and
entity
例
entity
and
Transportation
患者
entity
and
CognitiveAgent
擁有
CognitiveAgent
and
entity
患者
entity
and
entity
例
entity
and
Object
擁有
Collection
and
CognitiveAgent
LANE
例
CognitiveAgent
LANE and
飛機
,
Process
and
CognitiveAgent
(=>
(
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
例
Collection
and
Organization
attribute
Collection
and
信使和信使
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
Entity
例
AutonomousAgent
and
Selling
例
Entity
and
Object
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
例
entity
and
Transportation
擁有
CognitiveAgent
and
Entity
患者
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
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
例
Collection
and
Organization
attribute
Collection
and
百貨商店
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
Entity
例
AutonomousAgent
and
Selling
例
Entity
and
Human
例
Entity
and
Object
目的地
AutonomousAgent
and
Entity
患者
AutonomousAgent
and
Entity
(=>
(
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
例
Collection
and
Organization
attribute
Collection
and
雜貨店零售商
Process
Physical
,
Entity
,
Object
and
AutonomousAgent
會員
Physical
and
Collection
agent
Process
and
AutonomousAgent
例
Process
and
Selling
例
AutonomousAgent
and
Human
例
Object
and
零售店
Process
是
located
在
Object
例
Entity
and
Object
患者
Process
and
Entity
(=>
(
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
例
Collection
and
Organization
attribute
Collection
and
非商店零售商
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
Entity
例
AutonomousAgent
and
Selling
例
Entity
and
Human
例
Entity
and
Object
AutonomousAgent
是
located
在
零售店
目的地
AutonomousAgent
and
Entity
患者
AutonomousAgent
and
Entity
(=>
(
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
例
Collection
and
Organization
attribute
Collection
and
管道運輸
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
entity
,
entity
and
CognitiveAgent
IPE
例
entity
and
Transportation
擁有
CognitiveAgent
and
entity
患者
entity
and
entity
例
entity
and
Substance
擁有
Collection
and
entity
儀器
entity
and
CognitiveAgent
IPE
例
CognitiveAgent
IPE and
管道
,
Process
and
CognitiveAgent
(=>
(
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
例
Collection
and
Organization
attribute
Collection
and
郵政服務
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
Entity
例
AutonomousAgent
and
Selling
例
Entity
and
Object
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
例
entity
and
Transportation
擁有
CognitiveAgent
and
Entity
患者
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
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
例
Collection
and
Organization
attribute
Collection
and
鐵路運輸
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
entity
and
entity
例
entity
and
Transportation
患者
entity
and
CognitiveAgent
擁有
CognitiveAgent
and
entity
患者
entity
and
entity
例
entity
and
Object
擁有
Collection
and
entity
例
entity
and
鐵路車輛
,
Process
and
CognitiveAgent
(=>
(
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
例
Collection
and
Organization
attribute
Collection
and
景區和觀光交通
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
entity
例
entity
and
Transportation
例
entity
and
RecreationOrExercise
患者
entity
and
CognitiveAgent
擁有
Collection
and
entity
例
entity
and
車輛
,
Process
and
CognitiveAgent
(=>
(
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
例
Collection
and
Organization
attribute
Collection
and
過境和地面客運
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
entity
例
entity
and
Transportation
患者
entity
and
CognitiveAgent
擁有
Collection
and
entity
例
entity
and
陸地車輛
,
Process
and
CognitiveAgent
(=>
(
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
例
Collection
and
Organization
attribute
Collection
and
卡車運輸
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
entity
and
entity
例
entity
and
Transportation
擁有
CognitiveAgent
and
entity
患者
entity
and
entity
例
entity
and
Object
擁有
Collection
and
entity
例
entity
and
陸地車輛
,
Process
and
CognitiveAgent
(=>
(
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
例
Collection
and
Organization
attribute
Collection
and
倉儲和儲存
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
Entity
例
AutonomousAgent
and
Selling
例
Entity
and
Object
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
entity
例
entity
and
TimeInterval
例
entity
and
Building
擁有
CognitiveAgent
and
Entity
持有期間
entity
and
位於
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
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
例
Collection
and
Organization
attribute
Collection
and
水運業
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
entity
and
entity
例
entity
and
Transportation
患者
entity
and
CognitiveAgent
擁有
CognitiveAgent
and
entity
患者
entity
and
entity
例
entity
and
Object
擁有
Collection
and
entity
例
entity
and
水車
,
Process
and
CognitiveAgent
(=>
(
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
例
Process
and
FoodPickup
agent
Process
and
AutonomousAgent
目的地
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Entity
and
food
for
Human
Object
Process
and
Process
位於
AutonomousAgent
and
Object
例
Process
and
易位
agent
Process
and
AutonomousAgent
目的地
Process
and
Object
例
Process
and
Getting
起源
Process
and
AutonomousAgent
目的地
Process
and
AutonomousAgent
患者
Process
and
Entity
(=>
(
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
例
可穿戴物品
and
安全套
例
Animal
and
Animal
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
and
entity
例
entity
and
Process
儀器
entity
and
可穿戴物品
患者
entity
and
Animal
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
entity
and
entity
例
entity
and
Human
體驗者
entity
and
entity
例
entity
and
落下
體驗者
entity
and
entity
原因
entity
and
entity
持有期間
entity
and
體驗者
entity
and
Animal
持有期間
entity
and
患者
entity
and
Animal
防止
entity
and
entity
(=>
(
and
(
instance
?SHIRT
Shirt
)
(
wears
?PERSON ?SHIRT))
(
instance
?PERSON
Human
))
Mid-level-ontology.kif 5262-5266
例
可穿戴物品
and
襯衫
穿
Animal
and
可穿戴物品
例
Animal
and
Human
(=>
(
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
例
Process
and
RadiatingSound
agent
Process
and
AutonomousAgent
attribute
Process
and
聽得見
Object
SymbolicString
例
Object
and
Human
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Hearing
agent
SymbolicString
and
Object
目的地
SymbolicString
and
Object
起源
SymbolicString
and
AutonomousAgent
,
agent
and
Object
(=>
(
and
(
instance
?T
Thanking
)
(
destination
?T ?P))
(
instance
?P
Human
))
Mid-level-ontology.kif 13160-13164
例
Process
and
感謝
目的地
Process
and
Entity
例
Entity
and
Human
(=>
(
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
例
Process
and
感謝
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
目的地
Process
and
Entity
例
Entity
and
Human
持有期間
何時
Process
and
想要
AutonomousAgent
and
Entity
持有期間
何時
Process
and
慾望
AutonomousAgent
and
Entity
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