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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeafyGreenVegetable
LeafyGreenVegetable

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


(externalImage LeafyGreenVegetable "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ Spinach_produce-1.jpg") pictureList.kif 1440-1440
(subclass LeafyGreenVegetable Vegetable) Economy.kif 4210-4210 LeafyGreenVegetable est une sous-classe de Vegetable

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


(subclass Arugula LeafyGreenVegetable) Food.kif 2121-2121 Arugula est une sous-classe de LeafyGreenVegetable
(subclass Endive LeafyGreenVegetable) Food.kif 2564-2564 Endive est une sous-classe de LeafyGreenVegetable
(subclass Lettuce LeafyGreenVegetable) Food.kif 2619-2619 Lettuce est une sous-classe de LeafyGreenVegetable
(subclass Radicchio LeafyGreenVegetable) Food.kif 3321-3321 Radicchio est une sous-classe de LeafyGreenVegetable
(subclass RomaineLettuce LeafyGreenVegetable) Food.kif 3334-3334 RomaineLettuce est une sous-classe de LeafyGreenVegetable
(subclass Spinach LeafyGreenVegetable) Food.kif 3474-3474 Spinach est une sous-classe de LeafyGreenVegetable
(termFormat ChineseLanguage LeafyGreenVegetable "绿叶蔬菜") domainEnglishFormat.kif 33671-33671
(termFormat ChineseTraditionalLanguage LeafyGreenVegetable "綠葉蔬菜") domainEnglishFormat.kif 33670-33670
(termFormat EnglishLanguage LeafyGreenVegetable "leafy green vegetable") domainEnglishFormat.kif 33669-33669

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


(=>
    (and
        (subclass ?CLASS PlantLeaf)
        (equal ?CLASS LeafyGreenVegetable))
    (initialPart ?CLASS Plant))
Economy.kif 4214-4218


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