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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CentralAsianCuisine

Sigma KEE - CentralAsianCuisine
CentralAsianCuisine

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1406-1406 子屬性 CentralAsianCuisine and AsianCuisine

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1407-1407 子屬性 AfghanCuisine and CentralAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1409-1409 子屬性 MongolianCuisine and CentralAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1411-1411 子屬性 TibetanCuisine and CentralAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1413-1413 子屬性 UzbekiCuisine and CentralAsianCuisine
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64606-64606


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