| No TPTP formula. May not be expressible in strict first order. | Food.kif 1469-1469 | Flour e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1470-1470 | Flour e' uma sub-classe de FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1471-1471 | Flour e' uma sub-classe de Powder |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1489-1489 | WheatFlour e' uma sub-classe de Flour |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1532-1532 | RyeFlour e' uma sub-classe de Flour |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1537-1537 | RiceFlour e' uma sub-classe de Flour |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1543-1543 | CornFlour e' uma sub-classe de Flour |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1549-1549 | TapiocaStarch e' uma sub-classe de Flour |
|
|