（事物的）一小部分 (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)

部分位於

位於

部分

（事物的）一小部分

Type restrictions

piece(物質, 物質)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

if substance1 是 substance2 的 �@小部分,
then for all class holds: if substance1 是 class 的實例, then substance2 是 class 的實例

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

If mixture 是混合物的實例, then there exist 純物質 pure1,純物質 pure2 so that pure1 等於 pure2 and pure1 是 mixture 的 �@小部分 and pure2 是 mixture 的 �@小部分.

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