Solid
(solid)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 2081-2083
If
an object
is an
instance
of
feces
,
then
solid
is an
attribute
of
the 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