No TPTP formula. May not be expressible in strict first order. |
naics.kif 292-294 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8441-8441 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9128-9128 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9124-9124 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9125-9125 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9126-9126 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6209-6209 |
industryProductType CottonFarming and Cotton |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 290-290 |
CottonFarming est un sous-attribut de OtherCropFarming |