No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2051-2051 |
Potash se chama nome "potash" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5980-5980 |
Fertilizer e' relacionado internamente por SUMO a Potash |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46864-46864 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46863-46863 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46862-46862 |
|