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