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 15054-15055
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 15053-15053 PlantAnatomicalStructure è una sottoclasse di StrutturaAnatomica

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


(subclass Cotton PlantAnatomicalStructure) Mid-level-ontology.kif 5440-5440 Cotton è una sottoclasse di PlantAnatomicalStructure
(subclass Flower PlantAnatomicalStructure) Mid-level-ontology.kif 9548-9548 Flower è una sottoclasse di PlantAnatomicalStructure
(subclass FruitOrVegetable PlantAnatomicalStructure) Merge.kif 15100-15100 FruttaOVerdura è una sottoclasse di PlantAnatomicalStructure
(subclass PlantAreole PlantAnatomicalStructure) Mid-level-ontology.kif 9627-9627 PlantAreole è una sottoclasse di PlantAnatomicalStructure
(subclass PlantBranch PlantAnatomicalStructure) Mid-level-ontology.kif 9500-9500 PlantBranch è una sottoclasse di PlantAnatomicalStructure
(subclass PlantLeaf PlantAnatomicalStructure) Mid-level-ontology.kif 9495-9495 PlantLeaf è una sottoclasse di PlantAnatomicalStructure
(subclass PlantRoot PlantAnatomicalStructure) Mid-level-ontology.kif 9527-9527 PlantRoot è una sottoclasse di PlantAnatomicalStructure
(subclass PlantSpinoseStructure PlantAnatomicalStructure) Mid-level-ontology.kif 9603-9603 PlantSpinoseStructure è una sottoclasse di PlantAnatomicalStructure
(subclass PlantStem PlantAnatomicalStructure) Mid-level-ontology.kif 9560-9560 PlantStem è una sottoclasse di PlantAnatomicalStructure
(subclass Pollen PlantAnatomicalStructure) Merge.kif 15095-15095 Pollen è una sottoclasse di PlantAnatomicalStructure
(subclass Seed PlantAnatomicalStructure) Merge.kif 15083-15083 Seed è una sottoclasse di PlantAnatomicalStructure
(subclass Spore PlantAnatomicalStructure) Merge.kif 15108-15108 Spore è una sottoclasse di PlantAnatomicalStructure
(termFormat ChineseLanguage PlantAnatomicalStructure "植物解剖结构") domainEnglishFormat.kif 46112-46112
(termFormat ChineseTraditionalLanguage PlantAnatomicalStructure "植物解剖結構") domainEnglishFormat.kif 46111-46111
(termFormat EnglishLanguage PlantAnatomicalStructure "plant anatomical structure") domainEnglishFormat.kif 46110-46110

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


(domainSubclass PlantFn 1 PlantAnatomicalStructure) Food.kif 3352-3352 Il numero 1 argomento PlantFn è una sottoclasse diPlantAnatomicalStructure
(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14961-14961 StrutturaAnatomica è esaustivamente partizionato in AnimalAnatomicalStructure + PlantAnatomicalStructure

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


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

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


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


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