![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation PlantAnatomicalStructure ChineseLanguage "这是只属于 Plant de AnatomicalStructure。") | chinese_format.kif 3497-3498 | |
(documentation PlantAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Plants.") | Merge.kif 14737-14738 | |
(subclass PlantAnatomicalStructure AnatomicalStructure) | Merge.kif 14736-14736 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domainSubclass productOfPlant 1 PlantAnatomicalStructure) | Mid-level-ontology.kif 21059-21059 | |
(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) | Merge.kif 14644-14644 |
antecedent |
![]() |
(=> (and (instance ?STRUCTURE PlantAnatomicalStructure) (instance ?PLANT Organism) (part ?STRUCTURE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 14740-14745 |
consequent |
![]() |
(=> (and (instance ?H Harvesting) (result ?H ?C)) (or (instance ?C PlantAnatomicalStructure) (instance ?C PlantSubstance))) |
Mid-level-ontology.kif 17471-17477 |
![]() |
![]() |