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 is internally related to nitrogen |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5981-5981 |
Fertilizer is internally related to phosphoric acid |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5980-5980 |
Fertilizer is internally related to potash |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5975-5975 |
Fertilizer is a subclass of mixture |