|
|
  AfricanCuisine
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1276-1276 | AfricanCuisine 是 Cuisine 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1290-1290 | CentralAfricanCuisine 是 AfricanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1292-1292 | EastAfricanCuisine 是 AfricanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1294-1294 | HornOfAfricaCuisine 是 AfricanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1296-1296 | NorthAfricanCuisine 是 AfricanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1298-1298 | SouthernAfricanCuisine 是 AfricanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1300-1300 | WestAfricanCuisine 是 AfricanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1277-1277 |
|
|
|