| 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 13918-13919 | |
| (subclass PlantAnatomicalStructure AnatomicalStructure) | Merge.kif 13917-13917 |
| appearance as argument number 2 |
|
|
| (subclass Cotton PlantAnatomicalStructure) | Mid-level-ontology.kif 5697-5697 | |
| (subclass Flower PlantAnatomicalStructure) | Mid-level-ontology.kif 9125-9125 | |
| (subclass FruitOrVegetable PlantAnatomicalStructure) | Merge.kif 13963-13963 | |
| (subclass PlantBranch PlantAnatomicalStructure) | Mid-level-ontology.kif 9089-9089 | |
| (subclass PlantLeaf PlantAnatomicalStructure) | Mid-level-ontology.kif 9084-9084 | |
| (subclass PlantRoot PlantAnatomicalStructure) | Mid-level-ontology.kif 9119-9119 | |
| (subclass Pollen PlantAnatomicalStructure) | Merge.kif 13958-13958 | |
| (subclass Seed PlantAnatomicalStructure) | Merge.kif 13946-13946 | |
| (subclass Spore PlantAnatomicalStructure) | Merge.kif 13971-13971 | |
| (termFormat ChineseLanguage PlantAnatomicalStructure "植物解剖结构") | domainEnglishFormat.kif 46009-46009 | |
| (termFormat ChineseTraditionalLanguage PlantAnatomicalStructure "植物解剖結構") | domainEnglishFormat.kif 46008-46008 | |
| (termFormat EnglishLanguage PlantAnatomicalStructure "plant anatomical structure") | domainEnglishFormat.kif 46007-46007 |
| appearance as argument number 3 |
|
|
| (partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) | Merge.kif 13851-13851 |
| antecedent |
|
|
| (=> (and (instance ?STRUCTURE PlantAnatomicalStructure) (instance ?PLANT Organism) (part ?STRUCTURE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 13921-13926 |
| consequent |
|
|
| (=> (and (instance ?H Harvesting) (result ?H ?C)) (or (instance ?C PlantAnatomicalStructure) (instance ?C PlantSubstance))) |
Mid-level-ontology.kif 15833-15839 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners