Translocation
(translocation)
(=>
(
instance
?O
Object
)
(
capability
Translocation
origin
?O))
Merge.kif 854-856
If
an object
is an
instance
of
object
,
then
the object
is
capable
of doing
translocation
as a
origin
(=>
(
instance
?SE
ShrapnelExplosion
)
(
exists
(?M ?T)
(
and
(
instance
?M
Metal
)
(
instance
?T
Translocation
)
(
causes
?SE ?T)
(
objectTransferred
?T ?M))))
Medicine.kif 6281-6288
If
a process
is an
instance
of
shrapnel explosion
,
then there exist
an object
and
a transfer
such that
the object
is an
instance
of
metal
and
the transfer
is an
instance
of
translocation
and
the process
cause
s
the transfer
and the object transferred in
the transfer
is
the object
(=>
(
instance
?TOUR
TourService
)
(
exists
(?SITE ?SUBTOUR)
(
and
(
instance
?SITE
TouristSite
)
(
instance
?SUBTOUR
Translocation
)
(
destination
?SUBTOUR ?SITE)
(
subProcess
?SUBTOUR ?TOUR))))
Hotel.kif 2087-2094
If
a process
is an
instance
of
tour service
,
then there exist
an entity
and
another process
such that
the entity
is an
instance
of
tourist site
and
the other process
is an
instance
of
translocation
and
the other process
end
s up at
the entity
and
the other process
is a
subprocess
of
the process
(=>
(
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
If
a physical
is an
instance
of
land transitway
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
translocation
and
the physical
is
path
along which
the entity
occurs and
the entity
is
located
at
the other entity
and
the other entity
is an
instance
of
land area
(=>
(
instance
?WAY
Transitway
)
(
hasPurpose
?WAY
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Translocation
)
(
path
?TRANSPORT ?WAY)))))
Merge.kif 14276-14282
If
a physical
is an
instance
of
transitway
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
translocation
and
the physical
is
path
along which
the entity
occurs
(=>
(
instance
?WS
WeatherSystem
)
(
exists
(?MOVE ?WF)
(
and
(
instance
?MOVE
Translocation
)
(
instance
?WF
WindFlow
)
(
patient
?MOVE ?WF)
(
subProcess
?MOVE ?WS))))
Weather.kif 523-530
If
a process
is an
instance
of
weather system
,
then there exist
another process
and
an entity
such that
the other process
is an
instance
of
translocation
and
the entity
is an
instance
of
wind flow
and
the entity
is a
patient
of
the other process
and
the other process
is a
subprocess
of
the process
(=>
(
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
If
a physical
is an
instance
of
seat belt
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
vehicle
and
the physical
is a
part
of
the third entity
and
the entity
is an
instance
of
human
and
the third entity
contain
s
the entity
and
the other entity
is an
instance
of
process
and
the other entity
prevent
s the occurrence of the
class
described by
the fourth entity
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