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	子屬性金屬閥門製造 and 其他加工金屬製品製造業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4547-4547	子屬性流體動力閥和軟管接頭製造 and 金屬閥門製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 4540-4540	子屬性工業閥門製造業 and 金屬閥門製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 4562-4562	子屬性其他金屬閥門和管件製造 and 金屬閥門製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 4554-4554	子屬性水暖具配件和裝飾製造 and 金屬閥門製造
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