stück (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)

befindetSichTeils

befindetSich

teil

stück

Type restrictions

piece(Substanz, Substanz)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

wenn substance1 ist ein stück von substance2 ,
dann für jeden class gilt: wenn substance1 ist ein fall von class , dann substance2 ist ein fall von class

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

Wenn mixture ist ein fall von Mischung , dann es gibt ein reine Substanz pure1,reine Substanz pure2 der pure1 ist gleich pure2 nicht und pure1 ist ein stück von mixture und pure2 ist ein stück von mixture .

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