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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PharmaceuticalAndMedicineManufacturing

Sigma KEE - PharmaceuticalAndMedicineManufacturing
PharmaceuticalAndMedicineManufacturing(制药和医药制造业)

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 制药和医药制造业化学制造业subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3367-3367 除诊断制造外的生物制品制药和医药制造业subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3359-3359 体外诊断物质制造制药和医药制造业subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3345-3345 药用和植物制造制药和医药制造业subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3352-3352 药物制剂制造制药和医药制造业subAttribute
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