Solid
(固體)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 2081-2083
例
Object
and
Feces
attribute
Object
and
固體
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