Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing

 Sigma KEE - NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing
NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing(navigational measuring electromedical and control instruments manufacturing)

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 Navigational measuring electromedical and control instruments manufacturing is a subattribute of computer and electronic product manufacturing

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 5356-5356 Analytical laboratory instrument manufacturing is a subattribute of navigational measuring electromedical and control instruments manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5319-5319 Automatic environmental control manufacturing for residential commercial and appliance use is a subattribute of navigational measuring electromedical and control instruments manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5301-5301 Electromedical and electrotherapeutic apparatus manufacturing is a subattribute of navigational measuring electromedical and control instruments manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5346-5346 Instrument manufacturing for measuring and testing electricity and electrical signals is a subattribute of navigational measuring electromedical and control instruments manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5329-5329 Instruments and related products manufacturing for measuring displaying and controlling industrial process variables is a subattribute of navigational measuring electromedical and control instruments manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5363-5363 Irradiation apparatus manufacturing is a subattribute of navigational measuring electromedical and control instruments manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5377-5377 Other measuring and controlling device manufacturing is a subattribute of navigational measuring electromedical and control instruments manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5309-5309 Search detection navigation guidance aeronautical and nautical system and instrument manufacturing is a subattribute of navigational measuring electromedical and control instruments manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5339-5339 Totalizing fluid meter and counting device manufacturing is a subattribute of navigational measuring electromedical and control instruments manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5370-5370 Watch clock and part manufacturing is a subattribute of navigational measuring electromedical and control instruments manufacturing
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners