No TPTP formula. May not be expressible in strict first order. |
naics.kif 397-397 |
肉鸡和其他肉类鸡肉生产 是 家禽和鸡蛋生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 391-391 |
鸡蛋生产 是 家禽和鸡蛋生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 416-416 |
其他家禽生产 是 家禽和鸡蛋生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 410-410 |
家禽孵化场 是 家禽和鸡蛋生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 404-404 |
火鸡生产 是 家禽和鸡蛋生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46934-46934 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46933-46933 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46932-46932 |
|