No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4521-4521 |
名 "coquilla nut" and 棕櫚油堅果 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4520-4520 |
名 "palm oil nut" and 棕櫚油堅果 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44154-44154 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44153-44153 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44152-44152 |
|