shi4 wu4 de5 yi1 xiao3 bu4 fen5 (piece)

A specialized common sense notion of part for arbitrary parts of Substances. Quasi-synonyms are: chunk, hunk, bit, etc. Compare component, the other subrelation of part.

Ontology

SUMO / BASE-ONTOLOGY

Superrelation(s)

bu4 fen5 wei4 yu1

wei4 yu1

bu4 fen5

shi4 wu4 de5 yi1 xiao3 bu4 fen5

Type restrictions

piece(wu4 zhi4, wu4 zhi4)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

if substance1 shi4 substance2 de5 yi1 xiao3 bu4 fen5,
then for all class holds: if substance1 shi4 class de5 shi2 li4, then substance2 shi4 class de5 shi2 li4

(=>
      (piece ?SUBSTANCE1 ?SUBSTANCE2)
      (forall
            (?CLASS)
            (=>
                  (instance ?SUBSTANCE1 ?CLASS)
                  (instance ?SUBSTANCE2 ?CLASS))))

If mixture shi4 hun4 he2 wu4 de5 shi2 li4, then there exist chun2 wu4 zhi4 pure1,chun2 wu4 zhi4 pure2 so_that_not pure1 deng3 yu1 pure2 and pure1 shi4 mixture de5 yi1 xiao3 bu4 fen5 and pure2 shi4 mixture de5 yi1 xiao3 bu4 fen5.

(=>
      (instance ?MIXTURE Mixture)
      (exists
            (?PURE1 ?PURE2)
            (and
                  (subclass ?PURE1 PureSubstance)
                  (subclass ?PURE2 PureSubstance)
                  (not
                        (equal ?PURE1 ?PURE2))
                  (piece ?PURE1 ?MIXTURE)
                  (piece ?PURE2 ?MIXTURE))))