SouthAsianCuisine
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1304-1304 | 子屬性 SouthAsianCuisine and AsianCuisine |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1644-1644 | 子屬性 BangladeshiCuisine and SouthAsianCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1646-1646 | 子屬性 NepaleseCuisine and SouthAsianCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1648-1648 | 子屬性 PakistaniCuisine and SouthAsianCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1650-1650 | 子屬性 SriLankanCuisine and SouthAsianCuisine |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1305-1305 |