TreeView Knowledge Base Browser - OtherPetroleumAndCoalProductsManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 3101-3103
No TPTP formula. May not be expressible in strict first order.	naics.kif 3099-3099	其他石油和煤炭产品制造业是石油和煤炭产品制造业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 3112-3112	所有其他石油和煤炭产品制造业是其他石油和煤炭产品制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 3105-3105	石油润滑油和润滑脂制造是其他石油和煤炭产品制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43374-43374
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43373-43373
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43372-43372