No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8624-8624 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9482-9482 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9483-9483 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9484-9484 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6169-6169 |
Oat grain is an industry product type of oat farming |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6166-6166 |
Oat farming is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6167-6167 |
Oat farming is a subattribute of cereal grain farming |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6168-6168 |
Oat farming is a subattribute of other grain farming |