| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6027-6027 |
"http://upload.wikimedia.org/wikipedia/commons/7/7e/ Reife_Weizenaehren.jpg" is a URL depicting forage crop |
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6548-6548 |
"http://upload.wikimedia.org/wikipedia/commons/8/83/ Kombajn_psenice.jpg" is a URL depicting forage crop |
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6547-6547 |
"http://upload.wikimedia.org/wikipedia/commons/a/a5/ Wheatfield_in_South_Africa2.jpg" is a URL depicting forage crop |
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9241-9241 |
"http://upload.wikimedia.org/wikipedia/commons/d/d2/ Bull_eating_fodder.jpg" is a URL depicting forage crop |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4170-4170 |
Forage crop is a subclass of fodder |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4171-4171 |
Forage crop is a subclass of plant |
