| 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 13955-13956 | |
| (subclass PlantAnatomicalStructure AnatomicalStructure) | Merge.kif 13954-13954 |
| appearance as argument number 2 |
|
|
| (subclass Cotton PlantAnatomicalStructure) | Mid-level-ontology.kif 5697-5697 | |
| (subclass Flower PlantAnatomicalStructure) | Mid-level-ontology.kif 9100-9100 | |
| (subclass FruitOrVegetable PlantAnatomicalStructure) | Merge.kif 14000-14000 | |
| (subclass PlantBranch PlantAnatomicalStructure) | Mid-level-ontology.kif 9064-9064 | |
| (subclass PlantLeaf PlantAnatomicalStructure) | Mid-level-ontology.kif 9059-9059 | |
| (subclass PlantRoot PlantAnatomicalStructure) | Mid-level-ontology.kif 9094-9094 | |
| (subclass Pollen PlantAnatomicalStructure) | Merge.kif 13995-13995 | |
| (subclass Seed PlantAnatomicalStructure) | Merge.kif 13983-13983 | |
| (subclass Spore PlantAnatomicalStructure) | Merge.kif 14008-14008 | |
| (termFormat ChineseLanguage PlantAnatomicalStructure "植物解剖结构") | domainEnglishFormat.kif 46039-46039 | |
| (termFormat ChineseTraditionalLanguage PlantAnatomicalStructure "植物解剖結構") | domainEnglishFormat.kif 46038-46038 | |
| (termFormat EnglishLanguage PlantAnatomicalStructure "plant anatomical structure") | domainEnglishFormat.kif 46037-46037 |
| appearance as argument number 3 |
|
|
| (partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) | Merge.kif 13888-13888 |
| antecedent |
|
|
| (=> (and (instance ?STRUCTURE PlantAnatomicalStructure) (instance ?PLANT Organism) (part ?STRUCTURE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 13958-13963 |
| consequent |
|
|
| (=> (and (instance ?H Harvesting) (result ?H ?C)) (or (instance ?C PlantAnatomicalStructure) (instance ?C PlantSubstance))) |
Mid-level-ontology.kif 15808-15814 |
|
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 3.0 is open source software produced by Articulate Software and its partners