WeldingAndSolderingEquipmentManufacturing
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5070-5074 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5068-5068 | Welding and soldering equipment manufacturing is a subattribute of all other general purpose machinery manufacturing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62685-62685 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62684-62684 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62683-62683 |