Cuisine |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1254-1260 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1253-1253 | Cuisine est une sous-classe de attribut relationnel |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1276-1276 | AfricanCuisine est une instance de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1278-1278 | AmericanCuisine est une instance de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1268-1268 | AsianCuisine est une instance de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1280-1280 | AustralianCuisine est une instance de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1282-1282 | CanadianCuisine est une instance de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1270-1270 | CaribbeanCuisine est une instance de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1272-1272 | EuropeanCuisine est une instance de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1284-1284 | FusionCuisine est une instance de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1288-1288 | HealthFoodCuisine est une instance de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1286-1286 | JewishCuisine est une instance de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1274-1274 | LatinAmericanCuisine est une instance de Cuisine |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64726-64726 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1262-1266 |