AfricanCuisine
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1276-1276 | African Cuisine is an instance of cuisine |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1290-1290 | Central African Cuisine is a subattribute of African Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1292-1292 | East African Cuisine is a subattribute of African Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1294-1294 | Horn of Africa Cuisine is a subattribute of African Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1296-1296 | North African Cuisine is a subattribute of African Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1298-1298 | Southern African Cuisine is a subattribute of African Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1300-1300 | West African Cuisine is a subattribute of African Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1277-1277 |