|
|
  LatinAmericanCuisine
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1274-1274 | Latin American Cuisine is an instance of cuisine |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1552-1552 | Argentinean Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1358-1358 | Bolivian Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1554-1554 | Brazilian Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1556-1556 | CapeVerdean Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1558-1558 | Central American Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1560-1560 | Chilean Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1562-1562 | Colombian Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1566-1566 | Costa Rican Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1568-1568 | Ecuadorian Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1570-1570 | Guatemalan Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1572-1572 | Guyanese Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1574-1574 | Honduran Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1564-1564 | Mexican Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1576-1576 | Nicaraguan Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1578-1578 | Pan Latin Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1580-1580 | Paraguayan Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1582-1582 | Peruvian Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1584-1584 | Puerto Rican Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1586-1586 | Salvadoran Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1588-1588 | Uruguayan Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1590-1590 | Venezuelan Cuisine is a subattribute of Latin American Cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1275-1275 |
|
|
|