|
|
   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 13777-13778 | |
| (subclass PlantSubstance BodySubstance) | Merge.kif 13776-13776 |
| appearance as argument number 2 |
|
|
| (subclass Alkaloid PlantSubstance) | Mid-level-ontology.kif 8305-8305 | |
| (subclass Cellulose PlantSubstance) | Mid-level-ontology.kif 8922-8922 | |
| (subclass Nectar PlantSubstance) | Mid-level-ontology.kif 8934-8934 | |
| (subclass Opium PlantSubstance) | Mid-level-ontology.kif 8961-8961 | |
| (subclass Rubber PlantSubstance) | Mid-level-ontology.kif 8894-8894 | |
| (subclass Wood PlantSubstance) | Mid-level-ontology.kif 8868-8868 | |
| (termFormat ChineseLanguage PlantSubstance "植物物质") | domainEnglishFormat.kif 46054-46054 | |
| (termFormat ChineseTraditionalLanguage PlantSubstance "植物物質") | domainEnglishFormat.kif 46053-46053 | |
| (termFormat EnglishLanguage PlantSubstance "plant substance") | domainEnglishFormat.kif 46052-46052 |
| antecedent |
|
|
| (=> (and (instance ?SUBSTANCE PlantSubstance) (instance ?PLANT Organism) (part ?SUBSTANCE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 13780-13785 |
| consequent |
|
|
| (=> (and (instance ?H Harvesting) (result ?H ?C)) (or (instance ?C PlantAnatomicalStructure) (instance ?C PlantSubstance))) |
Mid-level-ontology.kif 15806-15812 |
|
|
|