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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthAsianCuisine

Sigma KEE - SouthAsianCuisine
SouthAsianCuisine

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1304-1304 SouthAsianCuisine e' um sub-atributo de AsianCuisine

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1644-1644 BangladeshiCuisine e' um sub-atributo de SouthAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1646-1646 NepaleseCuisine e' um sub-atributo de SouthAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1648-1648 PakistaniCuisine e' um sub-atributo de SouthAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1650-1650 SriLankanCuisine e' um sub-atributo de SouthAsianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1305-1305


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