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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TeaBud

appearance as argument number 1

(subclass TeaBud TeaPlantAerialPart) Economy.kif 4712-4712 花茶茶树空中部分subclass

appearance as argument number 2

(termFormat ChineseLanguage TeaBud "花茶") domainEnglishFormat.kif 57157-57157
(termFormat ChineseTraditionalLanguage TeaBud "花茶") domainEnglishFormat.kif 57156-57156
(termFormat EnglishLanguage TeaBud "tea bud") domainEnglishFormat.kif 57155-57155


    (initialPart Tea ?TEA)
        (equal ?TEA TeaBud)
        (equal ?TEA TeaLeaf)
        (equal ?TEA TeaTwig)))
Food.kif 1809-1814

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