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 |
industryProductType OatFarming and OatGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6166-6166 |
OatFarming e' uma instancia de IndustryAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6167-6167 |
OatFarming e' um sub-atributo de CerealGrainFarming |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6168-6168 |
OatFarming e' um sub-atributo de OtherGrainFarming |