|
|
  AllOtherCropFarming
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 310-312 | |
| 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 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 326-326 | All other miscellaneous crop farming is a subattribute of all other crop farming |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 320-320 | Peanut farming is a subattribute of all other crop farming |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 314-314 | Sugar beet farming is a subattribute of all other crop farming |
| 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 |
|
|
|