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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SurgicalAndMedicalInstrumentManufacturing

Sigma KEE - SurgicalAndMedicalInstrumentManufacturing
SurgicalAndMedicalInstrumentManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6186-6190
No TPTP formula. May not be expressible in strict first order. naics.kif 6184-6184 SurgicalAndMedicalInstrumentManufacturing e' um sub-atributo de MedicalEquipmentAndSuppliesManufacturing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56349-56349
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56348-56348
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56347-56347


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