No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5976-5978 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4684-4684 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5979-5979 |
Fertilizer est reli� � l'int�rieur de SUMO � Nitrogen |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5981-5981 |
Fertilizer est reli� � l'int�rieur de SUMO � PhosphoricAcid |
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. |
Economy.kif 5975-5975 |
Fertilizer est une sous-classe de mixture |