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

piece comparison table
Subject documentation have domain2 have domain1 have axiom
unparented    
pieceA 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 materialSubstanceSubstance
(=>
    (piece ?SUBSTANCE1 ?SUBSTANCE2)
    (forall (?CLASS)
       (=>
          (instance ?SUBSTANCE1 ?CLASS)
          (instance ?SUBSTANCE2 ?CLASS))))

Next unparented: Pound    Up: unparented    Previous unparented: partition