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