SorghumGrass
|
|
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 53978-53978 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53977-53977 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53976-53976 |