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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlantAnatomicalStructure

Sigma KEE - PlantAnatomicalStructure
PlantAnatomicalStructure

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 14760-14761
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 14759-14759

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


(subclass Cotton PlantAnatomicalStructure) Mid-level-ontology.kif 5161-5161
(subclass Flower PlantAnatomicalStructure) Mid-level-ontology.kif 9167-9167
(subclass FruitOrVegetable PlantAnatomicalStructure) Merge.kif 14805-14805
(subclass PlantAreole PlantAnatomicalStructure) Mid-level-ontology.kif 9246-9246
(subclass PlantBranch PlantAnatomicalStructure) Mid-level-ontology.kif 9116-9116
(subclass PlantLeaf PlantAnatomicalStructure) Mid-level-ontology.kif 9111-9111
(subclass PlantRoot PlantAnatomicalStructure) Mid-level-ontology.kif 9146-9146
(subclass PlantSpinoseStructure PlantAnatomicalStructure) Mid-level-ontology.kif 9222-9222
(subclass PlantStem PlantAnatomicalStructure) Mid-level-ontology.kif 9179-9179
(subclass Pollen PlantAnatomicalStructure) Merge.kif 14800-14800
(subclass Seed PlantAnatomicalStructure) Merge.kif 14788-14788
(subclass Spore PlantAnatomicalStructure) Merge.kif 14813-14813
(termFormat ChineseLanguage PlantAnatomicalStructure "植物解剖结构") domainEnglishFormat.kif 46093-46093
(termFormat ChineseTraditionalLanguage PlantAnatomicalStructure "植物解剖結構") domainEnglishFormat.kif 46092-46092
(termFormat EnglishLanguage PlantAnatomicalStructure "plant anatomical structure") domainEnglishFormat.kif 46091-46091

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


(domainSubclass productOfPlant 1 PlantAnatomicalStructure) Mid-level-ontology.kif 21167-21167
(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14667-14667

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


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

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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