Subject |
documentation |
partition into |
have axiom |
BiologicallyActiveSubstance | A Substance that is capable of inducing a change in the structure or functioning of an Organism | ToxicSubstance, PharmacologicSubstance, Nutrient | (=> (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)))))
|
BodySubstance | 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 | | (=> (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)))))
|
Mineral | 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 | | (=> (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 | | (=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water))))
|