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