Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlantAnatomicalStructure
PlantAnatomicalStructure

appearance as argument number 1
-------------------------


(documentation PlantAnatomicalStructure ChineseLanguage "这是只属于 Plant de AnatomicalStructure。") Merge.kif 19508-19509
(documentation PlantAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Plants.") Merge.kif 19506-19507
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 19505-19505

appearance as argument number 2
-------------------------


(subclass Cotton PlantAnatomicalStructure) Mid-level-ontology.kif 5692-5692
(subclass Flower PlantAnatomicalStructure) Mid-level-ontology.kif 9117-9117
(subclass FruitOrVegetable PlantAnatomicalStructure) Merge.kif 19561-19561
(subclass PlantBranch PlantAnatomicalStructure) Mid-level-ontology.kif 9081-9081
(subclass PlantLeaf PlantAnatomicalStructure) Mid-level-ontology.kif 9076-9076
(subclass PlantRoot PlantAnatomicalStructure) Mid-level-ontology.kif 9111-9111
(subclass Pollen PlantAnatomicalStructure) Merge.kif 19554-19554
(subclass Seed PlantAnatomicalStructure) Merge.kif 19540-19540
(subclass Spore PlantAnatomicalStructure) Merge.kif 19572-19572
(termFormat ChineseLanguage PlantAnatomicalStructure "植物解剖结构") domainEnglishFormat.kif 46045-46045
(termFormat ChineseTraditionalLanguage PlantAnatomicalStructure "植物解剖結構") domainEnglishFormat.kif 46044-46044
(termFormat EnglishLanguage PlantAnatomicalStructure "plant anatomical structure") domainEnglishFormat.kif 46043-46043

appearance as argument number 3
-------------------------


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 19430-19430

antecedent
-------------------------


(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 19511-19516

consequent
-------------------------


(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?C))
    (or
        (instance ?C PlantAnatomicalStructure)
        (instance ?C PlantSubstance)))
Mid-level-ontology.kif 15781-15787


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