TreeView Knowledge Base Browser - BuildingMaterialAndSuppliesDealers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7262-7264
No TPTP formula. May not be expressible in strict first order.	naics.kif 7260-7260	建筑材料和用品经销商是建筑材料和园艺设备及用品经销商的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7280-7280	五金店是建筑材料和用品经销商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7266-7266	家庭中心是建筑材料和用品经销商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7286-7286	其他建材经销商是建筑材料和用品经销商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7273-7273	油漆和壁纸商店是建筑材料和用品经销商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12269-12269
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12268-12268
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12267-12267