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