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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ItalianCuisine
ItalianCuisine(Italian Cuisine)

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1594-1594 Italian Cuisine is a subattribute of Mediterranean Cuisine

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1524-1524 Abruzzese Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1526-1526 Emilian Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1528-1528 Florentine Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1530-1530 Ligurian Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1532-1532 Lombardian Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1534-1534 Marchigiana Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1536-1536 Milanese Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1538-1538 Neapolitan Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1542-1542 Piedmontese Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1540-1540 Roman Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1544-1544 Sardinian Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1546-1546 Sicilian Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1548-1548 Tuscan Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1550-1550 Venetian Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Dining.kif 1595-1595


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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