|
|
  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 39987-39987 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39986-39986 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39985-39985 |
|
|
|