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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChineseCuisine

 Sigma KEE - ChineseCuisine
ChineseCuisine(Chinese Cuisine)

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1312-1312 Chinese Cuisine is a subattribute of Asian Cuisine

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1415-1415 Cantonese Cuisine is a subattribute of Chinese Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1417-1417 Hunan Cuisine is a subattribute of Chinese Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1419-1419 Mandarin Cuisine is a subattribute of Chinese Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1421-1421 Pekingese Cuisine is a subattribute of Chinese Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1708-1708 Shanghainese Cuisine is a subattribute of Chinese Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1423-1423 Sichuan Cuisine is a subattribute of Chinese Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1425-1425 Szechuan Cuisine is a subattribute of Chinese Cuisine
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