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.
SUMO / BASE-ONTOLOGY
Related WordNet synsets
See more related synsets on a separate page.
- if substance1 is a piece of substance2,
- then for all class holds: if substance1 is an instance of class, then substance2 is an instance of class.
(piece ?SUBSTANCE1 ?SUBSTANCE2)
(instance ?SUBSTANCE1 ?CLASS)
(instance ?SUBSTANCE2 ?CLASS))))
If mixture is an instance of mixture, then there exist pure substance pure1,pure substance pure2 so that pure1 is not equal to pure2 and pure1 is a piece of mixture and pure2 is a piece of mixture.
(instance ?MIXTURE Mixture)
(subclass ?PURE1 PureSubstance)
(subclass ?PURE2 PureSubstance)
(equal ?PURE1 ?PURE2))
(piece ?PURE1 ?MIXTURE)
(piece ?PURE2 ?MIXTURE))))