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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ItalianCuisine

Sigma KEE - ItalianCuisine
ItalianCuisine

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1594-1594 ItalianCuisine e' um sub-atributo de MediterraneanCuisine

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1524-1524 AbruzzeseCuisine e' um sub-atributo de ItalianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1526-1526 EmilianCuisine e' um sub-atributo de ItalianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1528-1528 FlorentineCuisine e' um sub-atributo de ItalianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1530-1530 LigurianCuisine e' um sub-atributo de ItalianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1532-1532 LombardianCuisine e' um sub-atributo de ItalianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1534-1534 MarchigianaCuisine e' um sub-atributo de ItalianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1536-1536 MilaneseCuisine e' um sub-atributo de ItalianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1538-1538 NeapolitanCuisine e' um sub-atributo de ItalianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1542-1542 PiedmonteseCuisine e' um sub-atributo de ItalianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1540-1540 RomanCuisine e' um sub-atributo de ItalianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1544-1544 SardinianCuisine e' um sub-atributo de ItalianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1546-1546 SicilianCuisine e' um sub-atributo de ItalianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1548-1548 TuscanCuisine e' um sub-atributo de ItalianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1550-1550 VenetianCuisine e' um sub-atributo de ItalianCuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1595-1595


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