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 子屬性 醫療設備和用品製造業 and 雜項製造業

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6199-6199 子屬性 牙科設備和用品製造業 and 醫療設備和用品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6213-6213 子屬性 牙科實驗室 and 醫療設備和用品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6177-6177 子屬性 實驗室儀器和家具製造 and 醫療設備和用品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6206-6206 子屬性 眼科製品 and 醫療設備和用品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6184-6184 子屬性 外科和醫療器械製造 and 醫療設備和用品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6192-6192 子屬性 手術器具和用品製造業 and 醫療設備和用品製造業
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