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	子屬性通風采暖空調和商用製冷設備製造 and 機械製造業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4878-4878	子屬性空調和暖風加熱設備以及商業和工業製冷設備製造 and 通風采暖空調和商用製冷設備製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 4854-4854	子屬性空氣淨化設備製造 and 通風采暖空調和商用製冷設備製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 4870-4870	子屬性加熱設備除了暖風爐製造 and 通風采暖空調和商用製冷設備製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 4862-4862	子屬性工業和商業風扇和鼓風機製造 and 通風采暖空調和商用製冷設備製造
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