SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > Substance
Next SelfConnectedObjectCorpuscularObject    UpSelfConnectedObject    Previous SelfConnectedObjectRegion   

Substancedocumentation An Object in which every part is similar to every other in every relevant respect. More precisely, something is a Substance when it has only arbitrary pieces as parts - any parts have properties which are similar to those of the whole. Note that a Substance may nonetheless have physical properties that vary. For example, the temperature, chemical constitution, density, etc. may change from one part to another. An example would be a body of water2001-11-30 13:35:21.0
has axiom
(subclass ?OBJECTTYPE Substance)
(part ?PART ?OBJECT))
(instance ?PART ?OBJECTTYPE))
2001-11-30 13:35:21.0
has axiom
(instance ?OBJ CorpuscularObject)
(subclass ?SUBSTANCETYPE1 Substance)
(subclass ?SUBSTANCETYPE2 Substance)
(material ?SUBSTANCE1 ?OBJ)
(material ?SUBSTANCE2 ?OBJ)
(not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))
2001-11-30 13:35:21.0
is first domain of material2001-11-30 13:35:21.0
is first domain of piece2001-11-30 13:35:21.0
is second domain of piece2001-11-30 13:35:21.0
is a kind of SelfConnectedObject2001-11-30 13:35:21.0
Objectis disjoint from Process2001-11-30 13:34:50.0
is third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0

Kinds of Substance :