| PlantSubstance(plant substance) | stub |
| appearance as argument number 1 |
|
|
| (documentation PlantSubstance ChineseLanguage "这是只由 Plant 所产生的 BodySubstance。") | chinese_format.kif 3475-3475 | |
| (documentation PlantSubstance EnglishLanguage "BodySubstances that are produced exclusively by Plants.") | Merge.kif 14999-15000 | |
| (subclass PlantSubstance BodySubstance) | Merge.kif 14998-14998 | Plant substance is a subclass of body substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?SUBSTANCE PlantSubstance) (instance ?PLANT Organism) (part ?SUBSTANCE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 15002-15007 |
|
|
|