![]() |
![]() ![]()
|
![]() |
|
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 est un sous-attribut de ComputerAndElectronicProductManufacturing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5356-5356 | AnalyticalLaboratoryInstrumentManufacturing est un sous-attribut de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5319-5319 | AutomaticEnvironmentalControlManufacturingForResidentialCommercialAndApplianceUse est un sous-attribut de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5301-5301 | ElectromedicalAndElectrotherapeuticApparatusManufacturing est un sous-attribut de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5346-5346 | InstrumentManufacturingForMeasuringAndTestingElectricityAndElectricalSignals est un sous-attribut de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5329-5329 | InstrumentsAndRelatedProductsManufacturingForMeasuringDisplayingAndControllingIndustrialProcessVariables est un sous-attribut de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5363-5363 | IrradiationApparatusManufacturing est un sous-attribut de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5377-5377 | OtherMeasuringAndControllingDeviceManufacturing est un sous-attribut de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5309-5309 | SearchDetectionNavigationGuidanceAeronauticalAndNauticalSystemAndInstrumentManufacturing est un sous-attribut de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5339-5339 | TotalizingFluidMeterAndCountingDeviceManufacturing est un sous-attribut de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5370-5370 | WatchClockAndPartManufacturing est un sous-attribut 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 |
![]() |
![]() |