| WheatGrain(wheat grain) | | cracked_wheat, wheat, wheat_berry, wheat_germ |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4052-4053 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4051-4051 | Wheat grain is a subclass of cereal grain |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6163-6163 | Wheat grain is an industry product type of wheat farming |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1490-1490 | Every wheat flour is initially part of a wheat 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 4091-4091 | Einkorn 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 4101-4101 | Spelt wheat grain is a subclass of wheat grain |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62973-62973 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62972-62972 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62971-62971 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1499-1501 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4055-4057 |
|
|
|
|