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 5324-5335
Fisico
e' uma
instancia
de
Pajamas
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e' um
agente
de
Entidade
Entidade
usa
Fisico
vale
durante
Entidade
Entidade
e' uma
instancia
de
Sleeping
Entidade
e' uma
instancia
de
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 3558-3582
Fisico
e' uma
instancia
de
SafetyVest
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Animal
Entidade
e' uma
instancia
de
Humano
Entidade
usa
Fisico
aumenta
a probabilidade de
Entidade
Entidade
e' uma
instancia
de
Visao
Entidade
e' um
patient
de
Entidade
Entidade
experimenta
Entidade
Entidade
Entidade
e' uma
instancia
de
Visao
Entidade
e' um
patient
de
Entidade
Entidade
experimenta
Entidade
diminui
a probabilidade de
Entidade
Entidade
e' uma
instancia
de
Ferir
Entidade
e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?WI
WearableItem
)
(
hasPurpose
?WI
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
wears
?H ?WI)))))
Merge.kif 15892-15898
Fisico
e' uma
instancia
de
WearableItem
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
usa
Fisico
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