Water Comparison Table

Entity > Physical > Object > SelfConnectedObject > Substance > Water

Next Substance: BiologicallyActiveSubstance Up: Substance Previous Substance: Mineral

Water comparison table

Subject documentation is a kind of have axiom

Substance 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 SelfConnectedObject
(=>
(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)))))

Water The Class of samples of the compound H20. Note that this Class covers both pure and impure Water Substance
(=>
(instance ?FISH Fish)
(exists (?WATER)
(and
(inhabits ?FISH ?WATER)
(instance ?WATER Water))))

Subject	documentation	is a kind of	have axiom
Substance	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	SelfConnectedObject	(=> (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)))))
Water	The Class of samples of the compound H20. Note that this Class covers both pure and impure Water	Substance	(=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water))))

Next Substance: BiologicallyActiveSubstance Up: Substance Previous Substance: Mineral