Transfer
(Transferencia)
(=>
(
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