TreeView Knowledge Base Browser - OtherFabricatedMetalProductManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4530-4532
No TPTP formula. May not be expressible in strict first order.	naics.kif 4528-4528	其他加工金属制品制造业是金属制品制造的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4569-4569	所有其他金属制品制造业是其他加工金属制品制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4534-4534	金属阀门制造是其他加工金属制品制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42972-42972
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42971-42971
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42970-42970