No TPTP formula. May not be expressible in strict first order. |
naics.kif 440-440 |
子屬性 動物水產養殖 and 動物生產 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 340-340 |
子屬性 養牛和養殖 and 動物生產 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 379-379 |
子屬性 生豬和養豬 and 動物生產 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 466-466 |
子屬性 其他動物生產 and 動物生產 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 385-385 |
子屬性 家禽和雞蛋生產 and 動物生產 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 422-422 |
子屬性 綿羊和山羊養殖 and 動物生產 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7596-7596 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7595-7595 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7594-7594 |
|