|
|
  SpanishCuisine
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1342-1342 | SpanishCuisine est un sous-attribut de WesternEuropeanCuisine |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1678-1678 | AndalusianCuisine est un sous-attribut de SpanishCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1672-1672 | BasqueCuisine est un sous-attribut de SpanishCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1680-1680 | CantabrianCuisine est un sous-attribut de SpanishCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1682-1682 | CastilianCuisine est un sous-attribut de SpanishCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1684-1684 | CatalanCuisine est un sous-attribut de SpanishCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1686-1686 | GalicianCuisine est un sous-attribut de SpanishCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1674-1674 | IberianCuisine est un sous-attribut de SpanishCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1688-1688 | MadrilianCuisine est un sous-attribut de SpanishCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1690-1690 | NavarraiseCuisine est un sous-attribut de SpanishCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1676-1676 | ValencianCuisine est un sous-attribut de SpanishCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1343-1343 |
|
|
|