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 |
initialPart OatGrain and OatGrass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4121-4121 |
OatGrain e' uma sub-classe de CerealGrain |