No TPTP formula. May not be expressible in strict first order. | Economy.kif 4051-4051 | Wheat grain is a subclass of cereal grain |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4059-4059 | Common wheat grain is a subclass of wheat grain |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4071-4071 | Durum wheat grain is a subclass of wheat grain |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4081-4081 | Emmer wheat grain is a subclass of wheat grain |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4091-4091 | Einkorn wheat grain is a subclass of wheat grain |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4101-4101 | Spelt wheat grain is a subclass of wheat grain |