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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tomato
Tomato(tomato)
beefsteak_tomato, cherry_tomato, plum_tomato, tomato

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


(externalImage Tomato "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ small_icons/ food/ tomato.png") pictureList.kif 785-785
(subclass Tomato Fruit) Economy.kif 3923-3923 Tomato is a subclass of fruit

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


(termFormat ChineseLanguage Tomato "番茄") domainEnglishFormat.kif 58290-58290
(termFormat ChineseTraditionalLanguage Tomato "番茄") domainEnglishFormat.kif 58289-58289
(termFormat EnglishLanguage Tomato "tomato") domainEnglishFormat.kif 58288-58288

consequent
-------------------------


(=>
    (instance ?K Ketchup)
    (material Tomato ?K))
Food.kif 611-613

statement
-------------------------


(subclass
    (DeadFn Tomato) GroceryProduce)
Economy.kif 3924-3924 A dead tomato is a subclass of grocery produce


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