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。") 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