TreeView Knowledge Base Browser - CopperNickelLeadAndZincMining

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 734-736
No TPTP formula. May not be expressible in strict first order.	naics.kif 732-732	铜镍铅锌开采是金属矿开采的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 745-745	铜矿和镍矿开采是铜镍铅锌开采的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 738-738	铅矿石和锌矿开采是铜镍铅锌开采的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17250-17250
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17249-17249
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17248-17248