No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2051-2051 |
Potash s'appele nom "potash" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5980-5980 |
Fertilizer est reli� � l'int�rieur de SUMO � 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 |
|