Pea(豌豆) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4114-4114 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 871-871 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4113-4113 | 子類 豌豆 and food for Animal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4347-4347 | 子類 豌豆 and 豆科植物 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4112-4112 | 子類 豌豆 and 種子 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44898-44898 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44897-44897 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44896-44896 |