No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4122-4123 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8625-8625 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9485-9485 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9486-9486 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4124-4124 |
Every oat grain is initially part of a oat grass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4121-4121 |
Oat grain is a subclass of cereal grain |