No TPTP formula. May not be expressible in strict first order. |
naics.kif 326-326 |
AllOtherMiscellaneousCropFarming e' um sub-atributo de AllOtherCropFarming |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 320-320 |
PeanutFarming e' um sub-atributo de AllOtherCropFarming |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 314-314 |
SugarBeetFarming e' um sub-atributo de AllOtherCropFarming |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6612-6612 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6611-6611 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6610-6610 |
|