TreeView Knowledge Base Browser - OtherNonmetallicMineralProductManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 3890-3892
No TPTP formula. May not be expressible in strict first order.	naics.kif 3888-3888	其他非金属矿产品制造是非金属矿产品制造的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 3894-3894	磨料产品制造是其他非金属矿产品制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 3901-3901	所有其他非金属矿产品制造是其他非金属矿产品制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43320-43320
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43319-43319
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43318-43318