| BodySubstance(身体物质) | |
| appearance as argument number 1 |
|
|
| (documentation BodySubstance ChineseLanguage "这是由 Organism 释出、排泄或增生的细胞外物质和 细胞混合物。它包括 Substance 如： 唾液、牙釉质、汗水、激素和胃酸。") | chinese_format.kif 3472-3473 | |
| (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 14807-14810 | |
| (subclass BodySubstance Substance) | Merge.kif 14806-14806 | 身体物质 是 物质 的 subclass |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?B Biopsy) (patient ?B ?BS)) (instance ?BS BodySubstance)) |
Mid-level-ontology.kif 24089-24093 | |
| (=> (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 4340-4353 |
|
|
|
|