Translocation
(=>
(
instance
?O
Object
)
(
capability
Translocation
origin
?O))
Merge.kif 854-856
Objeto
e' uma
instancia
de
Objeto
Objeto
e'
capaz
de fazer
Translocation
no role
origin
(=>
(
instance
?SE
ShrapnelExplosion
)
(
exists
(?M ?T)
(
and
(
instance
?M
Metal
)
(
instance
?T
Translocation
)
(
causes
?SE ?T)
(
objectTransferred
?T ?M))))
Medicine.kif 6281-6288
Processo
e' uma
instancia
de
ShrapnelExplosion
Objeto
Transferencia
Objeto
e' uma
instancia
de
Metal
Transferencia
e' uma
instancia
de
Translocation
Processo
causa
Transferencia
objectTransferred
Transferencia
and
Objeto
(=>
(
instance
?TOUR
TourService
)
(
exists
(?SITE ?SUBTOUR)
(
and
(
instance
?SITE
TouristSite
)
(
instance
?SUBTOUR
Translocation
)
(
destination
?SUBTOUR ?SITE)
(
subProcess
?SUBTOUR ?TOUR))))
Hotel.kif 2087-2094
Processo
e' uma
instancia
de
TourService
Entidade
Processo
Entidade
e' uma
instancia
de
TouristSite
Processo
e' uma
instancia
de
Translocation
Processo
termina
em
Entidade
Processo
e' um
sub
-processo de
Processo
(=>
(
instance
?WAY
LandTransitway
)
(
hasPurpose
?WAY
(
exists
(?MOVE ?LAND)
(
and
(
instance
?MOVE
Translocation
)
(
path
?MOVE ?WAY)
(
eventLocated
?MOVE ?LAND)
(
instance
?LAND
LandArea
)))))
Merge.kif 14289-14297
Fisico
e' uma
instancia
de
LandTransitway
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Translocation
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
eventLocated
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Area terrestre
(=>
(
instance
?WAY
Transitway
)
(
hasPurpose
?WAY
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Translocation
)
(
path
?TRANSPORT ?WAY)))))
Merge.kif 14276-14282
Fisico
e' uma
instancia
de
Transitway
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Translocation
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
(=>
(
instance
?WS
WeatherSystem
)
(
exists
(?MOVE ?WF)
(
and
(
instance
?MOVE
Translocation
)
(
instance
?WF
WindFlow
)
(
patient
?MOVE ?WF)
(
subProcess
?MOVE ?WS))))
Weather.kif 523-530
Processo
e' uma
instancia
de
WeatherSystem
Processo
Entidade
Processo
e' uma
instancia
de
Translocation
Entidade
e' uma
instancia
de
WindFlow
Entidade
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
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 3675-3704
Fisico
e' uma
instancia
de
SeatBelt
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Vehicle
Fisico
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
contem
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
proibe
a ocurrencia de a
classe
descrita por
Entidade
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