|
|
  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 | VentilationHeatingAirConditioningAndCommercialRefrigerationEquipmentManufacturing est un sous-attribut de MachineryManufacturing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4878-4878 | AirConditioningAndWarmAirHeatingEquipmentAndCommercialAndIndustrialRefrigerationEquipmentManufacturing est un sous-attribut de VentilationHeatingAirConditioningAndCommercialRefrigerationEquipmentManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4854-4854 | AirPurificationEquipmentManufacturing est un sous-attribut de VentilationHeatingAirConditioningAndCommercialRefrigerationEquipmentManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4870-4870 | HeatingEquipmentExceptWarmAirFurnacesManufacturing est un sous-attribut de VentilationHeatingAirConditioningAndCommercialRefrigerationEquipmentManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4862-4862 | IndustrialAndCommercialFanAndBlowerManufacturing est un sous-attribut de VentilationHeatingAirConditioningAndCommercialRefrigerationEquipmentManufacturing |
| 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 |
|
|
|