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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoutheastAsianCuisine

Sigma KEE - SoutheastAsianCuisine
SoutheastAsianCuisine

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


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

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1652-1652 子屬性 BurmeseCuisine and SoutheastAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1654-1654 子屬性 CambodianCuisine and SoutheastAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1656-1656 子屬性 FilipinoCuisine and SoutheastAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1340-1340 子屬性 IndonesianCuisine and SoutheastAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1660-1660 子屬性 LaotianCuisine and SoutheastAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1658-1658 子屬性 MalaysianCuisine and SoutheastAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1662-1662 子屬性 SingaporeanCuisine and SoutheastAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1664-1664 子屬性 ThaiCuisine and SoutheastAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1666-1666 子屬性 VietnameseCuisine and SoutheastAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1307-1307


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