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 15008-15009
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 15007-15007 子類 植物解剖結構 and AnatomicalStructure

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


(subclass Cotton PlantAnatomicalStructure) Mid-level-ontology.kif 5446-5446 子類 and 植物解剖結構
(subclass Flower PlantAnatomicalStructure) Mid-level-ontology.kif 9521-9521 子類 and 植物解剖結構
(subclass FruitOrVegetable PlantAnatomicalStructure) Merge.kif 15054-15054 子類 FruitOrVegetable and 植物解剖結構
(subclass PlantAreole PlantAnatomicalStructure) Mid-level-ontology.kif 9600-9600 子類 PlantAreole and 植物解剖結構
(subclass PlantBranch PlantAnatomicalStructure) Mid-level-ontology.kif 9473-9473 子類 植物分支 and 植物解剖結構
(subclass PlantLeaf PlantAnatomicalStructure) Mid-level-ontology.kif 9468-9468 子類 PlantLeaf and 植物解剖結構
(subclass PlantRoot PlantAnatomicalStructure) Mid-level-ontology.kif 9500-9500 子類 植物根 and 植物解剖結構
(subclass PlantSpinoseStructure PlantAnatomicalStructure) Mid-level-ontology.kif 9576-9576 子類 PlantSpinoseStructure and 植物解剖結構
(subclass PlantStem PlantAnatomicalStructure) Mid-level-ontology.kif 9533-9533 子類 PlantStem and 植物解剖結構
(subclass Pollen PlantAnatomicalStructure) Merge.kif 15049-15049 子類 花粉 and 植物解剖結構
(subclass Seed PlantAnatomicalStructure) Merge.kif 15037-15037 子類 種子 and 植物解剖結構
(subclass Spore PlantAnatomicalStructure) Merge.kif 15062-15062 子類 孢子 and 植物解剖結構
(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 and 植物解剖結構
(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14915-14915 劃分 AnatomicalStructure, 動物解剖結構 and 植物解剖結構

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


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

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