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 e' um sub-atributo de MiscellaneousManufacturing

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


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