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	非金属矿物开采和采石是采矿除石油和天然气的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 846-846	其他非金属矿物开采和采石是非金属矿物开采和采石的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 811-811	砂砾粘土和陶瓷和难处理矿物开采和采石是非金属矿物开采和采石的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 777-777	采石和采石是非金属矿物开采和采石的 subAttribute
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