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