No TPTP formula. May not be expressible in strict first order. |
naics.kif 119-121 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8687-8687 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9602-9602 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9603-9603 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9604-9604 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9605-9605 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9606-9606 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9607-9607 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6164-6164 |
industryProductType RiceFarming and RiceGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6160-6160 |
RiceFarming e' um sub-atributo de CerealGrainFarming |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 117-117 |
RiceFarming e' um sub-atributo de OilseedAndGrainFarming |