Transfer
(transfer)
No TPTP formula. May not be expressible in strict first order.
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