SUMO   View all facts   Glossary   Help
unparented > piece
Next unparented: Pound    Up: unparented    Previous unparented: partition   

piece
subjectfact 
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 
(=>
    (piece ?SUBSTANCE1 ?SUBSTANCE2)
    (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