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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AmericanCuisine

Sigma KEE - AmericanCuisine
AmericanCuisine

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1278-1278 AmericanCuisine est une instance de Cuisine

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1368-1368 AmishCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1374-1374 CalifornianCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1376-1376 ChesapeakeCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1370-1370 CreoleCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1476-1476 FloribbeanCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1380-1380 FloridianCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1382-1382 HawaiianCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1366-1366 MidwesternCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1362-1362 NativeAmericanCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1384-1384 NewEnglandCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1386-1386 NewMexicanCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1364-1364 NorthAmericanCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1388-1388 PennsylvaniaDutchCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1372-1372 SouthernCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1378-1378 SouthwesternCuisine est un sous-attribut de AmericanCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1279-1279


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