| 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 | 子類 高粱 and 穀物草 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4140-4140 | %每個 高粱粒 是 高粱 的 initially part |
| 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 |
|
|
|