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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sandwich
Sandwich(三明治)

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1581-1582
No TPTP formula. May not be expressible in strict first order. pictureList.kif 713-713
No TPTP formula. May not be expressible in strict first order. Food.kif 1580-1580 子類 三明治 and CookedDish

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51095-51095
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51094-51094
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51093-51093

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1584-1597


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