SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > Substance > BodySubstance
Next SubstanceMineral    UpSubstance    Previous SubstanceBiologicallyActiveSubstance   

BodySubstance
subjectfact 
BodySubstancedocumentation 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 acid2001-11-30 13:33:46.0
is a kind of Substance2001-11-30 13:33:46.0
Substancehas axiom
(=>
(and
(subclass ?OBJECTTYPE Substance)
(instance ?OBJECT ?OBJECTTYPE)
(part ?PART ?OBJECT))
(instance ?PART ?OBJECTTYPE))
2001-11-30 13:35:21.0
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 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
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 BodySubstance :