Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BodySubstance |  |
| appearance as argument number 1 |
|
|
| (subclass BodySubstance NaturalSubstance) | Merge.kif 15118-15118 | |
| (documentation BodySubstance EnglishLanguage "Extracellular material and mixtures of cells and extracellular material that are produced, excreted or accreted by an Organism. Included here are Substances such as saliva, dental enamel, sweat, hormones, and gastric acid.") | Merge.kif 15119-15122 |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?B Biopsy) (patient ?B ?BS)) (instance ?BS BodySubstance)) |
Mid-level-ontology.kif 26372-26376 | |
| (=> (instance ?Loam Loam) (exists (?Clay ?Sand ?Gravel ?Silt ?Organic) (and (instance ?Clay Clay) (piece ?Clay ?Loam) (instance ?Gravel Gravel) (piece ?Gravel ?Loam) (instance ?Sand Sand) (piece ?Sand ?Loam) (instance ?Silt Silt) (piece ?Silt ?Loam) (instance ?Organic BodySubstance) (piece ?Organic ?Loam)))) |
Geography.kif 5844-5857 |
|