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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlantAnatomicalStructure
PlantAnatomicalStructure(plant anatomical structure)

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 15146-15147
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 15145-15145 Plant anatomical structure is a subclass of anatomical structure

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


(subclass Cotton PlantAnatomicalStructure) Mid-level-ontology.kif 6402-6402 Cotton is a subclass of plant anatomical structure
(subclass Flower PlantAnatomicalStructure) Mid-level-ontology.kif 10868-10868 Flower is a subclass of plant anatomical structure
(subclass FruitOrVegetable PlantAnatomicalStructure) Merge.kif 15192-15192 Fruit or vegetable is a subclass of plant anatomical structure
(subclass PlantAreole PlantAnatomicalStructure) Mid-level-ontology.kif 10947-10947 Plant areole is a subclass of plant anatomical structure
(subclass PlantBranch PlantAnatomicalStructure) Mid-level-ontology.kif 10820-10820 Plant branch is a subclass of plant anatomical structure
(subclass PlantLeaf PlantAnatomicalStructure) Mid-level-ontology.kif 10815-10815 Plant leaf is a subclass of plant anatomical structure
(subclass PlantRoot PlantAnatomicalStructure) Mid-level-ontology.kif 10847-10847 Plant root is a subclass of plant anatomical structure
(subclass PlantSpinoseStructure PlantAnatomicalStructure) Mid-level-ontology.kif 10923-10923 Plant spinose structure is a subclass of plant anatomical structure
(subclass PlantStem PlantAnatomicalStructure) Mid-level-ontology.kif 10880-10880 Plant stem is a subclass of plant anatomical structure
(subclass Pollen PlantAnatomicalStructure) Merge.kif 15187-15187 Pollen is a subclass of plant anatomical structure
(subclass Seed PlantAnatomicalStructure) Merge.kif 15175-15175 Seed is a subclass of plant anatomical structure
(subclass Spore PlantAnatomicalStructure) Merge.kif 15200-15200 Spore is a subclass of plant anatomical structure
(termFormat ChineseLanguage PlantAnatomicalStructure "植物解剖结构") domainEnglishFormat.kif 46141-46141 Spore is a subclass of plant anatomical structure
(termFormat ChineseTraditionalLanguage PlantAnatomicalStructure "植物解剖結構") domainEnglishFormat.kif 46140-46140 Spore is a subclass of plant anatomical structure
(termFormat EnglishLanguage PlantAnatomicalStructure "plant anatomical structure") domainEnglishFormat.kif 46139-46139 Spore is a subclass of plant anatomical structure

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


(domainSubclass PlantFn 1 PlantAnatomicalStructure) Food.kif 3359-3359 The number 1 argument of plant fn is a subclass of plant anatomical structure
(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 15053-15053 Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure

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


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

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


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


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