No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5146-5147 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6025-6025 |
|
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 6545-6545 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9235-9235 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5143-5143 |
Forage crop is an instance of plant attribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5145-5145 |
Forage crop is internally related to fodder |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5144-5144 |
Forage crop is internally related to produce |