Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Wire
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BodySubstance NaturalSubstance) | Merge.kif 15118-15118 | Body substance is a subclass of natural substance |
| (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 | Body substance is a subclass of natural substance |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?B Biopsy) (patient ?B ?BS)) (instance ?BS BodySubstance)) |
Mid-level-ontology.kif 26372-26376 | If X is an instance of biopsy and Y is a patient of X, then Y is an instance of body substance |
| (=> (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 | If X is an instance of loam, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of clay (3) Y is a piece of X (4) W is an instance of gravel (5) W is a piece of X (6) Z is an instance of sand (7) Z is a piece of X (8) V is an instance of silt (9) V is a piece of X (10) U is an instance of body substance (11) U is a piece of X |
|