TreeView Knowledge Base Browser - PetroleumRefineries

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 3074-3076
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2509-2509
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1844-1844	精炼石油产品是炼油厂的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	naics.kif 3072-3072	炼油厂是石油和煤炭产品制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1831-1831	炼油厂是石油工业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45510-45510
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45509-45509
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45508-45508