|
|
  NorthernEuropeanCuisine
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1322-1322 | NorthernEuropeanCuisine 是 EuropeanCuisine 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1332-1332 | BritishCuisine 是 NorthernEuropeanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1336-1336 | IrishCuisine 是 NorthernEuropeanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1334-1334 | NordicCuisine 是 NorthernEuropeanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1338-1338 | ScottishCuisine 是 NorthernEuropeanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1323-1323 |
|
|
|