| SorghumGrass(sorghum grass)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3827-3828 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6875-6875 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7927-7927 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3826-3826 | Sorghum grass is a subclass of cereal grass plant |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4140-4140 | Every sorghum grain is initially part of a sorghum grass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53976-53976 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53975-53975 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53974-53974 |
|
|
|