path
(=>
(
instance
?R
Ramp
)
(
capability
MotionUpward
path
?R))
Mid-level-ontology.kif 2366-2368
If
an object
is an
instance
of
ramp
,
then
the object
is
capable
of doing
motion upward
as a
path
(=>
(
instance
?SIDE
Sidewalk
)
(
hasPurpose
?SIDE
(
exists
(?WALK)
(
and
(
instance
?WALK
Walking
)
(
path
?WALK ?SIDE)))))
Mid-level-ontology.kif 15654-15660
If
a physical
is an
instance
of
sidewalk
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
walking
and
the physical
is
path
along which
the entity
occurs
(=>
(
instance
?T
Translocation
)
(
exists
(?O ?D ?P)
(
and
(
instance
?O
Object
)
(
instance
?D
Object
)
(
instance
?P
Object
)
(
path
?T ?P)
(
origin
?T ?O)
(
destination
?T ?D))))
Merge.kif 11569-11578
If
a motion
is an
instance
of
translocation
,
then there exist
an object
,
an entity
and
another object
such that
the object
is an
instance
of
object
and
the entity
is an
instance
of
object
and
the other object
is an
instance
of
object
and
the other object
is
path
along which
the motion
occurs and
the motion
originate
s at
the object
and
the motion
end
s up at
the entity
(=>
(
instance
?T
Tube
)
(
hasPurpose
?T
(
exists
(?P ?OBJ)
(
and
(
instance
?P
Transfer
)
(
path
?P ?T)
(
patient
?P ?OBJ)
(
attribute
?OBJ
Fluid
)))))
Mid-level-ontology.kif 1527-1535
If
a physical
is an
instance
of
tube
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
transfer
and
the physical
is
path
along which
the entity
occurs and
the other entity
is a
patient
of
the entity
and
fluid
is an
attribute
of
the other entity
(=>
(
instance
?TELEX
Telex
)
(
hasPurpose
?TELEX
(
exists
(?SYS ?TELEX2 ?MSG)
(
and
(
instance
?SYS
TelephoneSystem
)
(
instance
?TELEX2
Telex
)
(
instance
?MSG
Messaging
)
(
or
(
and
(
origin
?MSG ?TELEX)
(
destination
?MSG ?TELEX2))
(
and
(
origin
?MSG ?TELEX2)
(
destination
?MSG ?TELEX)))
(
path
?MSG ?SYS)))))
Communications.kif 185-200
If
a physical
is an
instance
of
telex
,
then
the physical
has the purpose there exist
an entity
,
the physical
2 and
a third entity
such that
the entity
is an
instance
of
telephone system
and
the physical
2 is an
instance
of
telex
and
the third entity
is an
instance
of
messaging
and
the third entity
originate
s at
the physical
and
the third entity
end
s up at
the physical
2 or
the third entity
originate
s at
the physical
2 and
the third entity
end
s up at
the physical
and
the entity
is
path
along which
the third entity
occurs
(=>
(
instance
?TRACK
RunningTrack
)
(
hasPurpose
?TRACK
(
exists
(?RUN ?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
instance
?RUN
Running
)
(
agent
?RUN ?HUMAN)
(
path
?RUN ?TRACK)))))
Mid-level-ontology.kif 25806-25814
If
a physical
is an
instance
of
running track
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
human
and
the entity
is an
instance
of
running
and
the other entity
is an
agent
of
the entity
and
the physical
is
path
along which
the entity
occurs
(=>
(
instance
?V
Valve
)
(
hasPurpose
?V
(
exists
(?FLUID ?PROC ?FLOW)
(
and
(
instance
?FLOW
Transfer
)
(
path
?FLOW ?V)
(
patient
?FLOW ?FLUID)
(
attribute
?FLUID
Fluid
)
(
instance
?PROC
Process
)
(
instrument
?PROC ?V)
(
patient
?PROC ?FLOW)))))
engineering.kif 914-925
If
a physical
is an
instance
of
valve
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the third entity
is an
instance
of
transfer
and
the physical
is
path
along which
the third entity
occurs and
the entity
is a
patient
of
the third entity
and
fluid
is an
attribute
of
the entity
and
the other entity
is an
instance
of
process
and
the physical
is an
instrument
for
the other entity
and
the third entity
is a
patient
of
the other entity
(=>
(
instance
?WAY
AirTransitway
)
(
hasPurpose
?WAY
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Transportation
)
(
path
?TRANSPORT ?WAY)
(
partlyLocated
?WAY
EarthsAtmosphere
)))))
Transportation.kif 1250-1257
If
a physical
is an
instance
of
air transitway
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
transportation
and
the physical
is
path
along which
the entity
occurs and
the physical
is
partly
located in
earths atmosphere
(=>
(
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
?WL
WireLine
)
(
hasPurpose
?WL
(
exists
(?R)
(
and
(
instance
?R
Radiating
)
(
path
?R ?WL)))))
Mid-level-ontology.kif 3625-3631
If
a physical
is an
instance
of
wire line
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
radiating
and
the physical
is
path
along which
the entity
occurs
(=>
(
orientation
?O1 ?O2
Downstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29801-29810
If
an object
is
downstream
to
another object
,
then there exist
a transfer
,
a third object
and
a fourth object
such that
the transfer
is an
instance
of
transfer
and
liquid
is an
attribute
of
the third object
and
the fourth object
is
path
along which
the transfer
occurs and
the transfer
originate
s at
the other object
and
the other object
before
the object
on path
the fourth object
during
the transfer
and
the transfer
end
s up at
the object
(=>
(
orientation
?O1 ?O2
Downwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29823-29832
If
an object
is
downwind
to
another object
,
then there exist
a transfer
,
a third object
and
a fourth object
such that
the transfer
is an
instance
of
transfer
and
liquid
is an
attribute
of
the third object
and
the fourth object
is
path
along which
the transfer
occurs and
the transfer
originate
s at
the other object
and
the other object
before
the object
on path
the fourth object
during
the transfer
and
the transfer
end
s up at
the object
(=>
(
orientation
?O1 ?O2
Upstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29790-29799
If
an object
is
upstream
to
another object
,
then there exist
a transfer
,
a third object
and
a fourth object
such that
the transfer
is an
instance
of
transfer
and
liquid
is an
attribute
of
the third object
and
the fourth object
is
path
along which
the transfer
occurs and
the transfer
originate
s at
the object
and
the object
before
the other object
on path
the fourth object
during
the transfer
and
the transfer
end
s up at
the other object
(=>
(
orientation
?O1 ?O2
Upwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29812-29821
If
an object
is
upwind
to
another object
,
then there exist
a transfer
,
a third object
and
a fourth object
such that
the transfer
is an
instance
of
transfer
and
liquid
is an
attribute
of
the third object
and
the fourth object
is
path
along which
the transfer
occurs and
the transfer
originate
s at
the object
and
the object
before
the other object
on path
the fourth object
during
the transfer
and
the transfer
end
s up at
the other object
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