OtherCropFarming(other crop farming) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 280-282 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 278-278 | Other crop farming is a subattribute of crop production |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 308-308 | All other crop farming is a subattribute of other crop farming |
No TPTP formula. May not be expressible in strict first order. | naics.kif 290-290 | Cotton farming is a subattribute of other crop farming |
No TPTP formula. May not be expressible in strict first order. | naics.kif 302-302 | Hay farming is a subattribute of other crop farming |
No TPTP formula. May not be expressible in strict first order. | naics.kif 296-296 | Sugarcane farming is a subattribute of other crop farming |
No TPTP formula. May not be expressible in strict first order. | naics.kif 284-284 | Tobacco farming is a subattribute of other crop farming |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42900-42900 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42899-42899 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42898-42898 |