|
|
   Lathe
|
|
|
| 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 |
|
|
|