No TPTP formula. May not be expressible in strict first order. |
naics.kif 334-334 |
动物生产 是 农业林业捕鱼和狩猎 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 74-74 |
作物生产 是 农业林业捕鱼和狩猎 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 523-523 |
钓鱼狩猎和诱捕 是 农业林业捕鱼和狩猎 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 499-499 |
林业和伐木业 是 农业林业捕鱼和狩猎 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 560-560 |
支持农业和林业活动 是 农业林业捕鱼和狩猎 的 subAttribute |
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 |
|