NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5295-5299 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5293-5293 | NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing e' um sub-atributo de ComputerAndElectronicProductManufacturing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5356-5356 | AnalyticalLaboratoryInstrumentManufacturing e' um sub-atributo de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5319-5319 | AutomaticEnvironmentalControlManufacturingForResidentialCommercialAndApplianceUse e' um sub-atributo de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5301-5301 | ElectromedicalAndElectrotherapeuticApparatusManufacturing e' um sub-atributo de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5346-5346 | InstrumentManufacturingForMeasuringAndTestingElectricityAndElectricalSignals e' um sub-atributo de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5329-5329 | InstrumentsAndRelatedProductsManufacturingForMeasuringDisplayingAndControllingIndustrialProcessVariables e' um sub-atributo de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5363-5363 | IrradiationApparatusManufacturing e' um sub-atributo de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5377-5377 | OtherMeasuringAndControllingDeviceManufacturing e' um sub-atributo de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5309-5309 | SearchDetectionNavigationGuidanceAeronauticalAndNauticalSystemAndInstrumentManufacturing e' um sub-atributo de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5339-5339 | TotalizingFluidMeterAndCountingDeviceManufacturing e' um sub-atributo de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5370-5370 | WatchClockAndPartManufacturing e' um sub-atributo de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39989-39989 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39988-39988 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39987-39987 |