TreeView Knowledge Base Browser - MetalValveManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4536-4538
No TPTP formula. May not be expressible in strict first order.	naics.kif 4534-4534	金属阀门制造是其他加工金属制品制造业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4547-4547	流体动力阀和软管接头制造是金属阀门制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4540-4540	工业阀门制造业是金属阀门制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4562-4562	其他金属阀门和管件制造是金属阀门制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4554-4554	水暖具配件和装饰制造是金属阀门制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37313-37313
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37312-37312
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37311-37311