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	子屬性其他金屬礦開採 and 金屬礦開採

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 764-764	子屬性所有其他金屬礦開採 and 其他金屬礦開採
No TPTP formula. May not be expressible in strict first order.	naics.kif 757-757	子屬性鈾鐳釩礦開採 and 其他金屬礦開採
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