No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4806-4807 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6026-6026 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6547-6547 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6546-6546 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9236-9236 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4803-4803 |
Forage crop is an instance of plant attribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4805-4805 |
Forage crop is internally related to fodder |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4804-4804 |
Forage crop is internally related to produce |