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 13967-13968
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 13966-13966

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 14012-14012
(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 14007-14007
(subclass Seed PlantAnatomicalStructure) Merge.kif 13995-13995
(subclass Spore PlantAnatomicalStructure) Merge.kif 14020-14020
(termFormat ChineseLanguage PlantAnatomicalStructure "植物解剖结构") domainEnglishFormat.kif 46105-46105
(termFormat ChineseTraditionalLanguage PlantAnatomicalStructure "植物解剖結構") domainEnglishFormat.kif 46104-46104
(termFormat EnglishLanguage PlantAnatomicalStructure "plant anatomical structure") domainEnglishFormat.kif 46103-46103

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


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

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


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

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


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


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