No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2051-2051 |
Potash has name "potash" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5980-5980 |
Fertilizer is internally related to potash |
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 |
|