No TPTP formula. May not be expressible in strict first order. |
naics.kif 162-162 |
水果和树坚果种植 是 作物生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 232-232 |
温室苗圃和花卉生产 是 作物生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 80-80 |
油籽和粮食种植 是 作物生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 278-278 |
其他农作物种植 是 作物生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 143-143 |
蔬菜和甜瓜种植 是 作物生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17868-17868 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17867-17867 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17866-17866 |
|