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
Entit�Concreta
è un'
istanza
di
Pajamas
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un
agente
di
Entit�
wears
Entit�
and
Entit�Concreta
vales
durante
Entit�
Entit�
è un'
istanza
di
Sleeping
Entit�
è un'
istanza
di
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
Entit�Concreta
è un'
istanza
di
SafetyVest
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Animale
Entit�
è un'
istanza
di
Umano
wears
Entit�
and
Entit�Concreta
aumenta
s la verosimiglianza di
Entit�
Entit�
è un'
istanza
di
Vista
Entit�
è un
paziente
di
Entit�
Entit�
esperisce
s
Entit�
decreasesLikelihood
Entit�
Entit�
è un'
istanza
di
Vista
Entit�
è un
paziente
di
Entit�
Entit�
esperisce
s
Entit�
and
Entit�
Entit�
è un'
istanza
di
Trauma
Entit�
è un
agente
di
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?WI
WearableItem
)
(
hasPurpose
?WI
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
wears
?H ?WI)))))
Merge.kif 15914-15920
Entit�Concreta
è un'
istanza
di
WearableItem
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Umano
wears
Entit�
and
Entit�Concreta
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