Transfer
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29812-29821
方位
Object
,
Object
and
上風
Transfer
Object
and
Object
例
Transfer
and
Transfer
attribute
Object
and
液體
路徑
Transfer
and
Object
起源
Transfer
and
Object
beforeOnPath
Object
,
Object
,
Object
and
Transfer
目的地
Transfer
and
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