wears
(=>
(
instance
?PJ
Pajamas
)
(
hasPurpose
?PJ
(
exists
(?A ?REST)
(
and
(
instance
?A
Human
)
(
agent
?REST ?A)
(
holdsDuring
?REST
(
wears
?A ?PJ))
(
or
(
instance
?REST
Sleeping
)
(
instance
?REST
StayingStill
))))))
Mid-level-ontology.kif 5323-5334
例
Physical
and
睡衣
有目的
Physical
and
entity
entity
例
entity
and
Human
agent
entity
and
entity
持有期間
entity
and
穿
entity
and
Physical
例
entity
and
Sleeping
例
entity
and
StayingStill
(=>
(
instance
?SV
SafetyVest
)
(
hasPurpose
?SV
(
exists
(?PERSON ?SPECTATOR)
(
and
(
instance
?PERSON
Animal
)
(
instance
?SPECTATOR
Human
)
(
increasesLikelihood
(
wears
?PERSON ?SV)
(
exists
(?SEE)
(
and
(
instance
?SEE
Seeing
)
(
patient
?SEE ?PERSON)
(
experiencer
?SEE ?SPECTATOR))))
(
decreasesLikelihood
(
exists
(?SEE)
(
and
(
instance
?SEE
Seeing
)
(
patient
?SEE ?PERSON)
(
experiencer
?SEE ?SPECTATOR)))
(
exists
(?INJ)
(
and
(
instance
?INJ
Injuring
)
(
agent
?INJ ?SPECTATOR)
(
patient
?INJ ?PERSON))))))))
Cars.kif 3566-3590
例
Physical
and
SafetyVest
有目的
Physical
and
entity
entity
例
entity
and
Animal
例
entity
and
Human
增加可能性
穿
entity
and
Physical
and
entity
例
entity
and
Seeing
患者
entity
and
entity
體驗者
entity
and
entity
降低可能性
entity
例
entity
and
Seeing
患者
entity
and
entity
體驗者
entity
and
entity
and
entity
例
entity
and
Injuring
agent
entity
and
entity
患者
entity
and
entity
(=>
(
instance
?WI
WearableItem
)
(
hasPurpose
?WI
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
wears
?H ?WI)))))
Merge.kif 15914-15920
例
Physical
and
可穿戴物品
有目的
Physical
and
entity
例
entity
and
Human
穿
entity
and
Physical
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