|
|
  FrenchCuisine
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1348-1348 | FrenchCuisine 是 WesternEuropeanCuisine 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1443-1443 | AlsatianCuisine 是 FrenchCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1445-1445 | AuvergneCuisine 是 FrenchCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1447-1447 | AveyronCuisine 是 FrenchCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1451-1451 | BrittanyCuisine 是 FrenchCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1453-1453 | BurgundyCuisine 是 FrenchCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1449-1449 | CorsicaCuisine 是 FrenchCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1479-1479 | FrenchIndianCuisine 是 FrenchCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1455-1455 | GasconyCuisine 是 FrenchCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1457-1457 | HauteCuisine 是 FrenchCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1459-1459 | LyonCuisine 是 FrenchCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1461-1461 | ProvencalCuisine 是 FrenchCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1497-1497 | SeychellesCuisine 是 FrenchCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1503-1503 | ThaiFrenchCuisine 是 FrenchCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1349-1349 |
|
|
|