TreeView Knowledge Base Browser - NonmetallicMineralMiningAndQuarrying

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 773-775
No TPTP formula. May not be expressible in strict first order.	naics.kif 771-771	子屬性非金屬礦物開采和採石 and 採礦除石油和天然氣

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 846-846	子屬性其他非金屬礦物開采和採石 and 非金屬礦物開采和採石
No TPTP formula. May not be expressible in strict first order.	naics.kif 811-811	子屬性砂礫粘土和陶瓷和難處理礦物開采和採石 and 非金屬礦物開采和採石
No TPTP formula. May not be expressible in strict first order.	naics.kif 777-777	子屬性採石和採石 and 非金屬礦物開采和採石
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40809-40809
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40808-40808
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40807-40807