No TPTP formula. May not be expressible in strict first order. | Food.kif 1469-1469 | 面粉 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1470-1470 | 面粉 是 FoodFromPlant 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1471-1471 | 面粉 是 粉末 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1489-1489 | WheatFlour 是 面粉 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1532-1532 | RyeFlour 是 面粉 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1537-1537 | RiceFlour 是 面粉 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1543-1543 | CornFlour 是 面粉 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1549-1549 | TapiocaStarch 是 面粉 的 subclass |