No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9428-9428 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8597-8597 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9426-9426 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9427-9427 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9429-9429 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6189-6189 |
industryProductType MilletFarming and MilletGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6186-6186 |
MilletFarming e' uma instancia de IndustryAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6187-6187 |
MilletFarming e' um sub-atributo de CerealGrainFarming |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6188-6188 |
MilletFarming e' um sub-atributo de OtherGrainFarming |