Solid
(=>
(
instance
?X
Feces
)
(
attribute
?X
Solid
))
Mid-level-ontology.kif 2081-2083
Oggetto
รจ un'
istanza
di
Feces
attribute
Oggetto
and
Solid
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