| No TPTP formula. May not be expressible in strict first order. | Food.kif 1469-1469 | 子類 麵粉 and 已準備食物 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1470-1470 | 子類 麵粉 and FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1471-1471 | 子類 麵粉 and 粉末 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1489-1489 | 子類 WheatFlour and 麵粉 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1532-1532 | 子類 RyeFlour and 麵粉 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1537-1537 | 子類 RiceFlour and 麵粉 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1543-1543 | 子類 CornFlour and 麵粉 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1549-1549 | 子類 TapiocaStarch and 麵粉 |
|
|