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 PharmaceuticalAndMedicineManufacturing est un sous-attribut de ChemicalManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3367-3367 BiologicalProductExceptDiagnosticManufacturing est un sous-attribut de PharmaceuticalAndMedicineManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3359-3359 InVitroDiagnosticSubstanceManufacturing est un sous-attribut de PharmaceuticalAndMedicineManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3345-3345 MedicinalAndBotanicalManufacturing est un sous-attribut de PharmaceuticalAndMedicineManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3352-3352 PharmaceuticalPreparationManufacturing est un sous-attribut de PharmaceuticalAndMedicineManufacturing
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