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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mango

Sigma KEE - Mango
Mango

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


(externalImage Mango "http://www.adampease.org/Articulate/SUMOpictures/pictures/ food/ fruit/ mango/ mango_4.png") pictureList.kif 578-578
(subclass Mango TropicalFruit) Economy.kif 4091-4091

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


(termFormat ChineseLanguage Mango "芒果") domainEnglishFormat.kif 35964-35964
(termFormat ChineseTraditionalLanguage Mango "芒果") domainEnglishFormat.kif 35963-35963
(termFormat EnglishLanguage Mango "mango") domainEnglishFormat.kif 35962-35962

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


(=>
    (equal ?C
        (DeadFn Mango))
    (subclass ?C GroceryProduce))
Economy.kif 4093-4096


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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