SouthAsianCuisine
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1304-1304 | South Asian Cuisine is a subattribute of Asian Cuisine |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1644-1644 | Bangladeshi Cuisine is a subattribute of South Asian Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1646-1646 | Nepalese Cuisine is a subattribute of South Asian Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1648-1648 | Pakistani Cuisine is a subattribute of South Asian Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1650-1650 | Sri Lankan Cuisine is a subattribute of South Asian Cuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1305-1305 |