Translocation
(=>
(
instance
?SE
ShrapnelExplosion
)
(
exists
(?M ?T)
(
and
(
instance
?M
Metal
)
(
instance
?T
Translocation
)
(
causes
?SE ?T)
(
objectTransferred
?T ?M))))
Medicine.kif 6281-6288
Processo
è un'
istanza
di
ShrapnelExplosion
Oggetto
Trasferimento
Oggetto
è un'
istanza
di
Metallo
Trasferimento
è un'
istanza
di
Translocation
Processo
causa
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
(=>
(
instance
?TOUR
TourService
)
(
exists
(?SITE ?SUBTOUR)
(
and
(
instance
?SITE
TouristSite
)
(
instance
?SUBTOUR
Translocation
)
(
destination
?SUBTOUR ?SITE)
(
subProcess
?SUBTOUR ?TOUR))))
Hotel.kif 2087-2094
Processo
è un'
istanza
di
TourService
Entit�
Processo
Entit�
è un'
istanza
di
TouristSite
Processo
è un'
istanza
di
Translocation
Processo
fine
s in
Entit�
Processo
è un
sottoprocesso
di
Processo
(=>
(
instance
?WAY
LandTransitway
)
(
hasPurpose
?WAY
(
exists
(?MOVE ?LAND)
(
and
(
instance
?MOVE
Translocation
)
(
path
?MOVE ?WAY)
(
eventLocated
?MOVE ?LAND)
(
instance
?LAND
LandArea
)))))
Merge.kif 14311-14319
Entit�Concreta
è un'
istanza
di
LandTransitway
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Translocation
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
eventLocated
Entit�
and
Entit�
Entit�
è un'
istanza
di
SuperficieTerrestre
(=>
(
instance
?WAY
Transitway
)
(
hasPurpose
?WAY
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Translocation
)
(
path
?TRANSPORT ?WAY)))))
Merge.kif 14298-14304
Entit�Concreta
è un'
istanza
di
Transitway
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Translocation
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
(=>
(
instance
?WS
WeatherSystem
)
(
exists
(?MOVE ?WF)
(
and
(
instance
?MOVE
Translocation
)
(
instance
?WF
WindFlow
)
(
patient
?MOVE ?WF)
(
subProcess
?MOVE ?WS))))
Weather.kif 523-530
Processo
è un'
istanza
di
WeatherSystem
Processo
Entit�
Processo
è un'
istanza
di
Translocation
Entit�
è un'
istanza
di
WindFlow
Entit�
è un
paziente
di
Processo
Processo
è un
sottoprocesso
di
Processo
(=>
(
instance
?X
SeatBelt
)
(
hasPurpose
?X
(
exists
(?PERSON ?STOP ?VEHICLE ?M)
(
and
(
instance
?VEHICLE
Vehicle
)
(
part
?X ?VEHICLE)
(
instance
?PERSON
Human
)
(
contains
?VEHICLE ?PERSON)
(
instance
?STOP
Process
)
(
prevents
?STOP
(
KappaFn
?M
(
and
(
instance
?M
Translocation
)
(
patient
?M ?PERSON)
(
exists
(?COLLISION)
(
and
(
or
(
instance
?COLLISION
Decelerating
)
(
instance
?COLLISION
Impacting
))
(
experiencer
?COLLISION ?VEHICLE)
(
causes
?COLLISION ?M)))
(
modalAttribute
(
exists
(?INJ ?IMP)
(
and
(
instance
?INJ
Injuring
)
(
instance
?IMP
Impacting
)
(
causes
?M ?INJ)
(
patient
?INJ ?PERSON)
(
subProcess
?IMP ?INJ)))
Possibility
))))))))
Cars.kif 3683-3712
Entit�Concreta
è un'
istanza
di
SeatBelt
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Vehicle
Entit�Concreta
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Umano
contains
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
impedisce
l'occorrenza di la
classe
descritta da
Entit�
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