PlantSubstance(植物物質) |
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 14870-14871 | |
(subclass PlantSubstance BodySubstance) | Merge.kif 14869-14869 | 子類 植物物質 and BodySubstance |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?SUBSTANCE PlantSubstance) (instance ?PLANT Organism) (part ?SUBSTANCE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 14873-14878 |