| 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 | SorghumGrass e' uma sub-classe de CerealGrass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4140-4140 | initialPart SorghumGrain and SorghumGrass |
| 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 |
|
|
|