TreeView Knowledge Base Browser - OtherMetalOreMining

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 753-755
No TPTP formula. May not be expressible in strict first order.	naics.kif 751-751	其他金属矿开采是金属矿开采的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 764-764	所有其他金属矿开采是其他金属矿开采的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 757-757	铀镭钒矿开采是其他金属矿开采的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43218-43218
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43217-43217
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43216-43216