Substance concept from the SUMO knowledge base

Entity > Physical > Object > SelfConnectedObject > Substance

Next SelfConnectedObject: CorpuscularObject Up: SelfConnectedObject Previous SelfConnectedObject: Region

Substance

subject fact

Substance documentation 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 water 2001-11-30 13:35:21.0
has axiom
(=>
(and
(subclass ?OBJECTTYPE Substance)
(instance ?OBJECT ?OBJECTTYPE)
(part ?PART ?OBJECT))
(instance ?PART ?OBJECTTYPE))
has axiom
(=>
(instance ?OBJ CorpuscularObject)
(exists (?SUBSTANCETYPE1 ?SUBSTANCETYPE2 ?SUBSTANCE1 ?SUBSTANCE2)
(and
(subclass ?SUBSTANCETYPE1 Substance)
(subclass ?SUBSTANCETYPE2 Substance)
(instance ?SUBSTANCE1 ?SUBSTANCETYPE1)
(instance ?SUBSTANCE2 ?SUBSTANCETYPE2)
(material ?SUBSTANCE1 ?OBJ)
(material ?SUBSTANCE2 ?OBJ)
(not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))
2001-11-30 13:35:21.0
is first domain of material
is first domain of piece
is second domain of piece
is a kind of SelfConnectedObject

Object is disjoint from Process 2001-11-30 13:34:50.0
is third domain of between 2001-11-30 13:34:51.0
is third domain of capability
is third domain of connects

Kinds of Substance :

BiologicallyActiveSubstance (6 kinds, 18 facts) - A Substance that is capable of inducing a change in the structure or functioning of an Organism
BodySubstance (4 kinds, 15 facts) - Extracellular material and mixtures of cells and extracellular material that are produced, excreted or accreted by the body. Included here are Substances such as saliva, dental enamel, sweat, and gastric acid
Mineral (2 facts) - Any of various naturally occurring homogeneous substances (such as stone, coal, salt, sulfur, sand, petroleum, water), or synthetic substances having the chemical composition and crystalline form and properties of a naturally occurring mineral
Water (6 facts) - The Class of samples of the compound H20. Note that this Class covers both pure and impure Water

Substance	*documentation* 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 water
	has axiom (=> (and (subclass ?OBJECTTYPE Substance) (instance ?OBJECT ?OBJECTTYPE) (part ?PART ?OBJECT)) (instance ?PART ?OBJECTTYPE))
	has axiom (=> (instance ?OBJ CorpuscularObject) (exists (?SUBSTANCETYPE1 ?SUBSTANCETYPE2 ?SUBSTANCE1 ?SUBSTANCE2) (and (subclass ?SUBSTANCETYPE1 Substance) (subclass ?SUBSTANCETYPE2 Substance) (instance ?SUBSTANCE1 ?SUBSTANCETYPE1) (instance ?SUBSTANCE2 ?SUBSTANCETYPE2) (material ?SUBSTANCE1 ?OBJ) (material ?SUBSTANCE2 ?OBJ) (not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))
	*is first domain* of** material
	*is first domain* of** piece
	*is second domain* of** piece
	is a kind of SelfConnectedObject
Object	*is disjoint* from** Process
	*is third domain* of** between
	*is third domain* of** capability
	*is third domain* of** connects