path
(=>
(
instance
?R
Ramp
)
(
capability
MotionUpward
path
?R))
Mid-level-ontology.kif 2366-2368
Objeto
e' uma
instancia
de
Ramp
Objeto
e'
capaz
de fazer
MotionUpward
no role
path
(=>
(
instance
?SIDE
Sidewalk
)
(
hasPurpose
?SIDE
(
exists
(?WALK)
(
and
(
instance
?WALK
Walking
)
(
path
?WALK ?SIDE)))))
Mid-level-ontology.kif 15654-15660
Fisico
e' uma
instancia
de
Sidewalk
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Andar
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
(=>
(
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
Movimento
e' uma
instancia
de
Translocation
Objeto
Entidade
and
Objeto
Objeto
e' uma
instancia
de
Objeto
Entidade
e' uma
instancia
de
Objeto
Objeto
e' uma
instancia
de
Objeto
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Movimento
tem como
origem
Objeto
Movimento
termina
em
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Tube
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Transferencia
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
Entidade
e' um
patient
de
Entidade
Fluid
e' um
atributo
de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Telex
Fisico
tem por
fim
Entidade
Fisico
2 and
Entidade
Entidade
e' uma
instancia
de
TelephoneSystem
Fisico
2 e' uma
instancia
de
Telex
Entidade
e' uma
instancia
de
Messaging
Entidade
tem como
origem
Fisico
Entidade
termina
em
Fisico
2
Entidade
tem como
origem
Fisico
2
Entidade
termina
em
Fisico
Entidade
e' o
caminho
ao longo do qual
Entidade
ocorre
(=>
(
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
Fisico
e' uma
instancia
de
RunningTrack
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Running
Entidade
e' um
agente
de
Entidade
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
(=>
(
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
Fisico
e' uma
instancia
de
Valve
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Transferencia
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
Entidade
e' um
patient
de
Entidade
Fluid
e' um
atributo
de
Entidade
Entidade
e' uma
instancia
de
Processo
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?WAY
AirTransitway
)
(
hasPurpose
?WAY
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Transportation
)
(
path
?TRANSPORT ?WAY)
(
partlyLocated
?WAY
EarthsAtmosphere
)))))
Transportation.kif 1250-1257
Fisico
e' uma
instancia
de
AirTransitway
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Transporte
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
Fisico
e'
parcialmente
localizado em
EarthsAtmosphere
(=>
(
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
?WL
WireLine
)
(
hasPurpose
?WL
(
exists
(?R)
(
and
(
instance
?R
Radiating
)
(
path
?R ?WL)))))
Mid-level-ontology.kif 3625-3631
Fisico
e' uma
instancia
de
WireLine
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Irradiar
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
(=>
(
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
Objeto
e'
Downstream
em relacao a
Objeto
Transferencia
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Transferencia
Liquid
e' um
atributo
de
Objeto
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Transferencia
tem como
origem
Objeto
beforeOnPath
Objeto
,
Objeto
,
Objeto
and
Transferencia
Transferencia
termina
em
Objeto
(=>
(
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
Objeto
e'
Downwind
em relacao a
Objeto
Transferencia
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Transferencia
Liquid
e' um
atributo
de
Objeto
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Transferencia
tem como
origem
Objeto
beforeOnPath
Objeto
,
Objeto
,
Objeto
and
Transferencia
Transferencia
termina
em
Objeto
(=>
(
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
Objeto
e'
Upstream
em relacao a
Objeto
Transferencia
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Transferencia
Liquid
e' um
atributo
de
Objeto
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Transferencia
tem como
origem
Objeto
beforeOnPath
Objeto
,
Objeto
,
Objeto
and
Transferencia
Transferencia
termina
em
Objeto
(=>
(
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
Objeto
e'
Upwind
em relacao a
Objeto
Transferencia
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Transferencia
Liquid
e' um
atributo
de
Objeto
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Transferencia
tem como
origem
Objeto
beforeOnPath
Objeto
,
Objeto
,
Objeto
and
Transferencia
Transferencia
termina
em
Objeto
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