TreeView Knowledge Base Browser - MachineShopsTurnedProductAndScrewNutAndBoltManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4464-4467
No TPTP formula. May not be expressible in strict first order.	naics.kif 4462-4462	机械店转动产品和螺母和螺栓制造是金属制品制造的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4469-4469	机械店是机械店转动产品和螺母和螺栓制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4476-4476	转动产品和螺母和螺栓制造是机械店转动产品和螺母和螺栓制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35537-35537
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35536-35536
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35535-35535