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 15030-15031
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 15029-15029 植物解剖结构 是 解剖结构 的 subclass

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


(subclass Cotton PlantAnatomicalStructure) Mid-level-ontology.kif 5445-5445 棉 是 植物解剖结构 的 subclass
(subclass Flower PlantAnatomicalStructure) Mid-level-ontology.kif 9520-9520 花 是 植物解剖结构 的 subclass
(subclass FruitOrVegetable PlantAnatomicalStructure) Merge.kif 15076-15076 水果或蔬菜 是 植物解剖结构 的 subclass
(subclass PlantAreole PlantAnatomicalStructure) Mid-level-ontology.kif 9599-9599 PlantAreole 是 植物解剖结构 的 subclass
(subclass PlantBranch PlantAnatomicalStructure) Mid-level-ontology.kif 9472-9472 植物分支 是 植物解剖结构 的 subclass
(subclass PlantLeaf PlantAnatomicalStructure) Mid-level-ontology.kif 9467-9467 PlantLeaf 是 植物解剖结构 的 subclass
(subclass PlantRoot PlantAnatomicalStructure) Mid-level-ontology.kif 9499-9499 植物根 是 植物解剖结构 的 subclass
(subclass PlantSpinoseStructure PlantAnatomicalStructure) Mid-level-ontology.kif 9575-9575 PlantSpinoseStructure 是 植物解剖结构 的 subclass
(subclass PlantStem PlantAnatomicalStructure) Mid-level-ontology.kif 9532-9532 PlantStem 是 植物解剖结构 的 subclass
(subclass Pollen PlantAnatomicalStructure) Merge.kif 15071-15071 花粉 是 植物解剖结构 的 subclass
(subclass Seed PlantAnatomicalStructure) Merge.kif 15059-15059 种子 是 植物解剖结构 的 subclass
(subclass Spore PlantAnatomicalStructure) Merge.kif 15084-15084 孢子 是 植物解剖结构 的 subclass
(termFormat ChineseLanguage PlantAnatomicalStructure "植物解剖结构") domainEnglishFormat.kif 46110-46110
(termFormat ChineseTraditionalLanguage PlantAnatomicalStructure "植物解剖結構") domainEnglishFormat.kif 46109-46109
(termFormat EnglishLanguage PlantAnatomicalStructure "plant anatomical structure") domainEnglishFormat.kif 46108-46108

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


(domainSubclass PlantFn 1 PlantAnatomicalStructure) Food.kif 3352-3352 PlantFn 的 1 数量 是 植物解剖结构 的 subclass
(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14937-14937 解剖结构 详尽无遗地 partition 成 动物解剖结构 和 植物解剖结构

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


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

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


(=>
    (instance ?S Spice)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?S ?P)
            (subclass ?CLASS PlantAnatomicalStructure))))		 Economy.kif 4365-4372


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