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 1503-1503 | Common wheat flour is a subclass of wheat flour |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1512-1512 | Durum wheat flour is a subclass of wheat flour |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1519-1519 | Semolina flour is a subclass of wheat flour |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1525-1525 | Spelt flour is a subclass of wheat flour |