Translocation
(易位)
(=>
(
instance
?O
Object
)
(
capability
Translocation
origin
?O))
Merge.kif 854-856
例
Object
and
Object
能力
易位
,
起源
and
Object
(=>
(
instance
?SE
ShrapnelExplosion
)
(
exists
(?M ?T)
(
and
(
instance
?M
Metal
)
(
instance
?T
Translocation
)
(
causes
?SE ?T)
(
objectTransferred
?T ?M))))
Medicine.kif 6281-6288
例
Process
and
ShrapnelExplosion
Object
Transfer
例
Object
and
Metal
例
Transfer
and
易位
原因
Process
and
Transfer
objectTransferred
Transfer
and
Object
(=>
(
instance
?TOUR
TourService
)
(
exists
(?SITE ?SUBTOUR)
(
and
(
instance
?SITE
TouristSite
)
(
instance
?SUBTOUR
Translocation
)
(
destination
?SUBTOUR ?SITE)
(
subProcess
?SUBTOUR ?TOUR))))
Hotel.kif 2087-2094
例
Process
and
TourService
Entity
Process
例
Entity
and
旅遊景點
例
Process
and
易位
目的地
Process
and
Entity
子過程
Process
and
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
例
Physical
and
陸地過境通道
有目的
Physical
and
entity
entity
例
entity
and
易位
路徑
entity
and
Physical
entity
是
located
在
entity
例
entity
and
LandArea
(=>
(
instance
?WAY
Transitway
)
(
hasPurpose
?WAY
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Translocation
)
(
path
?TRANSPORT ?WAY)))))
Merge.kif 14276-14282
例
Physical
and
公交專用道
有目的
Physical
and
entity
例
entity
and
易位
路徑
entity
and
Physical
(=>
(
instance
?WS
WeatherSystem
)
(
exists
(?MOVE ?WF)
(
and
(
instance
?MOVE
Translocation
)
(
instance
?WF
WindFlow
)
(
patient
?MOVE ?WF)
(
subProcess
?MOVE ?WS))))
Weather.kif 523-530
例
Process
and
天氣系統
Process
Entity
例
Process
and
易位
例
Entity
and
WindFlow
患者
Process
and
Entity
子過程
Process
and
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
例
Physical
and
SeatBelt
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
車輛
部分
Physical
and
entity
例
entity
and
Human
包含
entity
and
entity
例
entity
and
Process
防止
entity
and
卡帕
entity
and
例
entity
and
易位
患者
entity
and
entity
entity
例
entity
and
減速
例
entity
and
Impacting
體驗者
entity
and
entity
原因
entity
and
entity
模態屬性
entity
entity
例
entity
and
Injuring
例
entity
and
Impacting
原因
entity
and
entity
患者
entity
and
entity
子過程
entity
and
entity
and
可能性
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