No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2209-2209 |
Potash has &ames$"name" "potash" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6378-6378 |
Fertilizer is internally related to potash |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46864-46864 |
Fertilizer is internally related to potash |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46863-46863 |
Fertilizer is internally related to potash |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46862-46862 |
Fertilizer is internally related to potash |