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