No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2051-2051 |
名 "potash" and 鉀肥 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5980-5980 |
相關的內部概念 肥料 and 鉀肥 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46862-46862 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46861-46861 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46860-46860 |
|