LatinAmericanCuisine
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1274-1274 | LatinAmericanCuisine e' uma instancia de Cuisine |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1552-1552 | ArgentineanCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1358-1358 | BolivianCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1554-1554 | BrazilianCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1556-1556 | CapeVerdeanCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1558-1558 | CentralAmericanCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1560-1560 | ChileanCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1562-1562 | ColombianCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1566-1566 | CostaRicanCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1568-1568 | EcuadorianCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1570-1570 | GuatemalanCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1572-1572 | GuyaneseCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1574-1574 | HonduranCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1564-1564 | MexicanCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1576-1576 | NicaraguanCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1578-1578 | PanLatinCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1580-1580 | ParaguayanCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1582-1582 | PeruvianCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1584-1584 | PuertoRicanCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1586-1586 | SalvadoranCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1588-1588 | UruguayanCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1590-1590 | VenezuelanCuisine e' um sub-atributo de LatinAmericanCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1275-1275 |