| No TPTP formula. May not be expressible in strict first order. | Food.kif 1469-1469 | Flour is a subclass of prepared food |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1470-1470 | Flour is a subclass of food from plant |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1471-1471 | Flour is a subclass of powder |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1489-1489 | Wheat flour is a subclass of flour |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1532-1532 | Rye flour is a subclass of flour |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1537-1537 | Rice flour is a subclass of flour |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1543-1543 | Corn flour is a subclass of flour |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1549-1549 | Tapioca starch is a subclass of flour |
|
|