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