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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4823-4825
(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 4821-4821
(subclass TeaPlantAerialPart PlantSubstance) Economy.kif 4822-4822

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


(subclass TeaBud TeaPlantAerialPart) Economy.kif 4827-4827
(subclass TeaLeaf TeaPlantAerialPart) Economy.kif 4826-4826
(subclass TeaTwig TeaPlantAerialPart) Economy.kif 4828-4828
(termFormat ChineseLanguage TeaPlantAerialPart "茶树空中部分") domainEnglishFormat.kif 57214-57214
(termFormat ChineseTraditionalLanguage TeaPlantAerialPart "茶樹空中部分") domainEnglishFormat.kif 57213-57213
(termFormat EnglishLanguage TeaPlantAerialPart "tea plant aerial part") domainEnglishFormat.kif 57212-57212

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


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


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