No TPTP formula. May not be expressible in strict first order. |
naics.kif 572-572 |
子屬性 棉花軋花 and 支持作物生產活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 585-585 |
子屬性 作物主要通過機器收割 and 支持作物生產活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 600-600 |
子屬性 農場勞務承包商和船員領導 and 支持作物生產活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 607-607 |
子屬性 農場管理服務 and 支持作物生產活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 592-592 |
子屬性 除棉花軋花以外的採後作物活動 and 支持作物生產活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 578-578 |
子屬性 整地種植和栽培 and 支持作物生產活動 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56151-56151 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56150-56150 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56149-56149 |
|