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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PharmaceuticalAndMedicineManufacturing

Sigma KEE - PharmaceuticalAndMedicineManufacturing
PharmaceuticalAndMedicineManufacturing(pharmaceutical and medicine manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3341-3343
No TPTP formula. May not be expressible in strict first order. naics.kif 3339-3339 Pharmaceutical and medicine manufacturing is a subattribute of chemical manufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3367-3367 Biological product except diagnostic manufacturing is a subattribute of pharmaceutical and medicine manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3359-3359 In vitro diagnostic substance manufacturing is a subattribute of pharmaceutical and medicine manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3345-3345 Medicinal and botanical manufacturing is a subattribute of pharmaceutical and medicine manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3352-3352 Pharmaceutical preparation manufacturing is a subattribute of pharmaceutical and medicine manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45528-45528
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45527-45527
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45526-45526


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