No TPTP formula. May not be expressible in strict first order. |
naics.kif 322-324 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8647-8647 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9540-9540 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9541-9541 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9543-9543 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6202-6202 |
industryProductType PeanutFarming and Groundnut |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 320-320 |
PeanutFarming e' um sub-atributo de AllOtherCropFarming |