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 e' relacionado internamente por SUMO a Nitrogen |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5981-5981 |
Fertilizer e' relacionado internamente por SUMO a PhosphoricAcid |
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. |
Economy.kif 5975-5975 |
Fertilizer e' uma sub-classe de Mistura |