VentilationHeatingAirConditioningAndCommercialRefrigerationEquipmentManufacturing(ventilation heating air conditioning and commercial refrigeration equipment manufacturing) |
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 | Ventilation heating air conditioning and commercial refrigeration equipment manufacturing is a subattribute of machinery manufacturing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4878-4878 | Air conditioning and warm air heating equipment and commercial and industrial refrigeration equipment manufacturing is a subattribute of ventilation heating air conditioning and commercial refrigeration equipment manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4854-4854 | Air purification equipment manufacturing is a subattribute of ventilation heating air conditioning and commercial refrigeration equipment manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4870-4870 | Heating equipment except warm air furnaces manufacturing is a subattribute of ventilation heating air conditioning and commercial refrigeration equipment manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4862-4862 | Industrial and commercial fan and blower manufacturing is a subattribute of ventilation heating air conditioning and commercial refrigeration equipment manufacturing |
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 |