|
|
  MediterraneanCuisine
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1320-1320 | MediterraneanCuisine est un sous-attribut de EuropeanCuisine |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1356-1356 | BosnianCuisine est un sous-attribut de MediterraneanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1598-1598 | CroatianCuisine est un sous-attribut de MediterraneanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1596-1596 | CypriotCuisine est un sous-attribut de MediterraneanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1600-1600 | GreekCuisine est un sous-attribut de MediterraneanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1594-1594 | ItalianCuisine est un sous-attribut de MediterraneanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1602-1602 | SerbianCuisine est un sous-attribut de MediterraneanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1604-1604 | SlavicCuisine est un sous-attribut de MediterraneanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1628-1628 | TunisianCuisine est un sous-attribut de MediterraneanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1606-1606 | TurkishCuisine est un sous-attribut de MediterraneanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1321-1321 |
|
|
|