TreeView Knowledge Base Browser - VentilationHeatingAirConditioningAndCommercialRefrigerationEquipmentManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4848-4852
No TPTP formula. May not be expressible in strict first order.	naics.kif 4846-4846	通风采暖空调和商用制冷设备制造是机械制造业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4878-4878	空调和暖风加热设备以及商业和工业制冷设备制造是通风采暖空调和商用制冷设备制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4854-4854	空气净化设备制造是通风采暖空调和商用制冷设备制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4870-4870	加热设备除了暖风炉制造是通风采暖空调和商用制冷设备制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4862-4862	工业和商业风扇和鼓风机制造是通风采暖空调和商用制冷设备制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61526-61526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61525-61525
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61524-61524