|
|
   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 est une sous-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 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 |
|
|
|
