No TPTP formula. May not be expressible in strict first order. |
naics.kif 492-492 |
所有其他动物的生产 是 其他动物生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 472-472 |
养蜂业 是 其他动物生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 485-485 |
毛皮动物和兔子生产 是 其他动物生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 478-478 |
马和其他马产品 是 其他动物生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42738-42738 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42737-42737 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42736-42736 |
|