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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MedicalEquipmentAndSuppliesManufacturing

Sigma KEE - MedicalEquipmentAndSuppliesManufacturing
MedicalEquipmentAndSuppliesManufacturing(medical equipment and supplies manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6173-6175
No TPTP formula. May not be expressible in strict first order. naics.kif 6171-6171 Medical equipment and supplies manufacturing is a subattribute of miscellaneous manufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6199-6199 Dental equipment and supplies manufacturing is a subattribute of medical equipment and supplies manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6213-6213 Dental laboratories is a subattribute of medical equipment and supplies manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6177-6177 Laboratory apparatus and furniture manufacturing is a subattribute of medical equipment and supplies manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6206-6206 Ophthalmic goods manufacturing is a subattribute of medical equipment and supplies manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6184-6184 Surgical and medical instrument manufacturing is a subattribute of medical equipment and supplies manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6192-6192 Surgical appliance and supplies manufacturing is a subattribute of medical equipment and supplies manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36833-36833
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36832-36832
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36831-36831


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