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 15161-15162
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 15160-15160 PlantAnatomicalStructure解剖学的構造subclass では

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


(subclass Cotton PlantAnatomicalStructure) Mid-level-ontology.kif 6383-6383 CottonPlantAnatomicalStructuresubclass では
(subclass Flower PlantAnatomicalStructure) Mid-level-ontology.kif 10850-10850 FlowerPlantAnatomicalStructuresubclass では
(subclass FruitOrVegetable PlantAnatomicalStructure) Merge.kif 15207-15207 果物または野菜PlantAnatomicalStructuresubclass では
(subclass PlantAreole PlantAnatomicalStructure) Mid-level-ontology.kif 10929-10929 PlantAreolePlantAnatomicalStructuresubclass では
(subclass PlantBranch PlantAnatomicalStructure) Mid-level-ontology.kif 10802-10802 PlantBranchPlantAnatomicalStructuresubclass では
(subclass PlantLeaf PlantAnatomicalStructure) Mid-level-ontology.kif 10797-10797 PlantLeafPlantAnatomicalStructuresubclass では
(subclass PlantRoot PlantAnatomicalStructure) Mid-level-ontology.kif 10829-10829 PlantRootPlantAnatomicalStructuresubclass では
(subclass PlantSpinoseStructure PlantAnatomicalStructure) Mid-level-ontology.kif 10905-10905 PlantSpinoseStructurePlantAnatomicalStructuresubclass では
(subclass PlantStem PlantAnatomicalStructure) Mid-level-ontology.kif 10862-10862 PlantStemPlantAnatomicalStructuresubclass では
(subclass Pollen PlantAnatomicalStructure) Merge.kif 15202-15202 PollenPlantAnatomicalStructuresubclass では
(subclass Seed PlantAnatomicalStructure) Merge.kif 15190-15190 SeedPlantAnatomicalStructuresubclass では
(subclass Spore PlantAnatomicalStructure) Merge.kif 15215-15215 SporePlantAnatomicalStructuresubclass では
(termFormat ChineseLanguage PlantAnatomicalStructure "植物解剖结构") domainEnglishFormat.kif 46112-46112 SporePlantAnatomicalStructuresubclass では
(termFormat ChineseTraditionalLanguage PlantAnatomicalStructure "植物解剖結構") domainEnglishFormat.kif 46111-46111 SporePlantAnatomicalStructuresubclass では
(termFormat EnglishLanguage PlantAnatomicalStructure "plant anatomical structure") domainEnglishFormat.kif 46110-46110 SporePlantAnatomicalStructuresubclass では

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


(domainSubclass PlantFn 1 PlantAnatomicalStructure) Food.kif 3359-3359 PlantFn の数値 1 引数は PlantAnatomicalStructuresubclass では
(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 15068-15068 解剖学的構造AnimalAnatomicalStructure + PlantAnatomicalStructureexhaustively partitioned

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


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

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