|
|
   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 是 关联属性 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1276-1276 | AfricanCuisine 是 Cuisine 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1278-1278 | AmericanCuisine 是 Cuisine 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1268-1268 | AsianCuisine 是 Cuisine 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1280-1280 | AustralianCuisine 是 Cuisine 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1282-1282 | CanadianCuisine 是 Cuisine 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1270-1270 | CaribbeanCuisine 是 Cuisine 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1272-1272 | EuropeanCuisine 是 Cuisine 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1284-1284 | FusionCuisine 是 Cuisine 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1288-1288 | HealthFoodCuisine 是 Cuisine 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1286-1286 | JewishCuisine 是 Cuisine 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1274-1274 | LatinAmericanCuisine 是 Cuisine 的 instance |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64724-64724 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1262-1266 |
|
|
|