Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Cabbage
Cabbage(cabbage)
cabbage, chou, cole, collard_greens, collards, kail, kale

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


(subclass Cabbage Vegetable) Economy.kif 4566-4566 Cabbage is a subclass of vegetable
(documentation Cabbage EnglishLanguage "Cabbage is the name for PlantLeaf of several species of CabbagePlant.") Economy.kif 4567-4568 Cabbage is a subclass of vegetable
(externalImage Cabbage "http://articulatesoftware.com/SUMOpictures/food/ vegetables/ cabbage/ cabbage_3.png") pictureList.kif 310-310 Cabbage is a subclass of vegetable

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


(termFormat EnglishLanguage Cabbage "cabbage") Economy.kif 4569-4569
(subclass SavoyCabbage Cabbage) Economy.kif 4577-4577 Savoy cabbage is a subclass of cabbage
(subclass NapaCabbage Cabbage) Economy.kif 4580-4580 Napa cabbage is a subclass of cabbage
(subclass GreenCabbage Cabbage) Economy.kif 4583-4583 Green cabbage is a subclass of cabbage
(subclass RedCabbage Cabbage) Economy.kif 4586-4586 Red cabbage is a subclass of cabbage
(termFormat ChineseTraditionalLanguage Cabbage "捲心菜") domainEnglishFormat.kif 12566-12566 Red cabbage is a subclass of cabbage
(termFormat ChineseLanguage Cabbage "卷心菜") domainEnglishFormat.kif 12567-12567 Red cabbage is a subclass of cabbage

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


(=>
    (and
        (subclass ?CLASS PlantLeaf)
        (equal ?CLASS Cabbage))
    (initialPart ?CLASS CabbagePlant))		 Economy.kif 4571-4575 If X is a subclass of plant leaf and equal X and cabbage, then every X is initially part of a cabbage plant


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners