![]() |
![]() ![]()
|
![]() |
|
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 |
![]() |
![]() |