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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MedicalEquipmentAndSuppliesManufacturing

Sigma KEE - MedicalEquipmentAndSuppliesManufacturing
MedicalEquipmentAndSuppliesManufacturing

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 MedicalEquipmentAndSuppliesManufacturing est un sous-attribut de MiscellaneousManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6199-6199 DentalEquipmentAndSuppliesManufacturing est un sous-attribut de MedicalEquipmentAndSuppliesManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6213-6213 DentalLaboratories est un sous-attribut de MedicalEquipmentAndSuppliesManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6177-6177 LaboratoryApparatusAndFurnitureManufacturing est un sous-attribut de MedicalEquipmentAndSuppliesManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6206-6206 OphthalmicGoodsManufacturing est un sous-attribut de MedicalEquipmentAndSuppliesManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6184-6184 SurgicalAndMedicalInstrumentManufacturing est un sous-attribut de MedicalEquipmentAndSuppliesManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6192-6192 SurgicalApplianceAndSuppliesManufacturing est un sous-attribut de MedicalEquipmentAndSuppliesManufacturing
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