No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1276-1276 |
例 AfricanCuisine and Cuisine |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1278-1278 |
例 AmericanCuisine and Cuisine |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1268-1268 |
例 AsianCuisine and Cuisine |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1280-1280 |
例 AustralianCuisine and Cuisine |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1282-1282 |
例 CanadianCuisine and Cuisine |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1270-1270 |
例 CaribbeanCuisine and Cuisine |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1272-1272 |
例 EuropeanCuisine and Cuisine |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1284-1284 |
例 FusionCuisine and Cuisine |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1288-1288 |
例 HealthFoodCuisine and Cuisine |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1286-1286 |
例 JewishCuisine and Cuisine |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1274-1274 |
例 LatinAmericanCuisine and Cuisine |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64724-64724 |
|