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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChineseCuisine

Sigma KEE - ChineseCuisine
ChineseCuisine

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


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

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1415-1415 子屬性 CantoneseCuisine and ChineseCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1417-1417 子屬性 HunanCuisine and ChineseCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1419-1419 子屬性 MandarinCuisine and ChineseCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1421-1421 子屬性 PekingeseCuisine and ChineseCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1708-1708 子屬性 ShanghaineseCuisine and ChineseCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1423-1423 子屬性 SichuanCuisine and ChineseCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1425-1425 子屬性 SzechuanCuisine and ChineseCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1313-1313


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