SUMO   View all facts   Glossary   Help
unparented > piece
Next unparentedPound    Upunparented    Previous unparentedpartition   

piecedocumentation A specialized common sense notion of part for arbitrary parts of Substances. Quasi-synonyms are: chunk, hunk, bit, etc. Compare the other subrelations of part, viz. component and material2001-11-30 13:34:59.0
has axiom
(forall (?CLASS)
(instance ?SUBSTANCE1 ?CLASS)
(instance ?SUBSTANCE2 ?CLASS))))
2001-11-30 13:34:59.0
has domain1 Substance2001-11-30 13:34:59.0
has domain2 Substance2001-11-30 13:34:59.0