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 e' uma sub-classe de Atributo Relacional |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1276-1276 | AfricanCuisine e' uma instancia de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1278-1278 | AmericanCuisine e' uma instancia de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1268-1268 | AsianCuisine e' uma instancia de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1280-1280 | AustralianCuisine e' uma instancia de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1282-1282 | CanadianCuisine e' uma instancia de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1270-1270 | CaribbeanCuisine e' uma instancia de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1272-1272 | EuropeanCuisine e' uma instancia de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1284-1284 | FusionCuisine e' uma instancia de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1288-1288 | HealthFoodCuisine e' uma instancia de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1286-1286 | JewishCuisine e' uma instancia de Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1274-1274 | LatinAmericanCuisine e' uma instancia 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 |