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