No TPTP formula. May not be expressible in strict first order. |
naics.kif 334-334 |
子屬性 動物生產 and 農業林業捕魚和狩獵 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 74-74 |
子屬性 作物生產 and 農業林業捕魚和狩獵 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 523-523 |
子屬性 釣魚狩獵和誘捕 and 農業林業捕魚和狩獵 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 499-499 |
子屬性 林業和伐木業 and 農業林業捕魚和狩獵 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 560-560 |
子屬性 支持農業和林業活動 and 農業林業捕魚和狩獵 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6006-6006 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6005-6005 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6004-6004 |
|