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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TeaPlantAerialPart

Sigma KEE - TeaPlantAerialPart
TeaPlantAerialPart

appearance as argument number 1
-------------------------


(documentation TeaPlantAerialPart EnglishLanguage "TeaPlantAerialPart is the class of all parts of the tea plant from which tea may be made, including leaves, stems, and twigs.") Economy.kif 4708-4710
(externalImage TeaPlantAerialPart "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 7/ 71/ Csinensis.jpg/ 800px-Csinensis.jpg") pictureList.kif 1461-1461
(subclass TeaPlantAerialPart FruitOrVegetable) Economy.kif 4706-4706
(subclass TeaPlantAerialPart PlantSubstance) Economy.kif 4707-4707

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


(subclass TeaBud TeaPlantAerialPart) Economy.kif 4712-4712
(subclass TeaLeaf TeaPlantAerialPart) Economy.kif 4711-4711
(subclass TeaTwig TeaPlantAerialPart) Economy.kif 4713-4713
(termFormat ChineseLanguage TeaPlantAerialPart "茶树空中部分") domainEnglishFormat.kif 57177-57177
(termFormat ChineseTraditionalLanguage TeaPlantAerialPart "茶樹空中部分") domainEnglishFormat.kif 57176-57176
(termFormat EnglishLanguage TeaPlantAerialPart "tea plant aerial part") domainEnglishFormat.kif 57175-57175

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


(=>
    (and
        (equal ?T
            (OrganicObjectFn ?S))
        (subclass ?T TeaPlantAerialPart)
        (subclass ?S PlantStem))
    (initialPart ?S TeaPlant))
Economy.kif 4715-4721


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