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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnalyticalLaboratoryInstrumentManufacturing
AnalyticalLaboratoryInstrumentManufacturing(analytical laboratory instrument manufacturing)
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 5358-5361
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10411-10411
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10410-10410
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10409-10409
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9886-9886
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10414-10414
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10412-10412
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

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7368-7368
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7367-7367
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7366-7366


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



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