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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FabricatedMetalProductManufacturing
FabricatedMetalProductManufacturing(金屬製品製造)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 4221-4223
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10988-10988
No TPTP formula. May not be expressible in strict first order. naics.kif 4219-4219 例 金屬製品製造 and 行業屬性

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6146-6146 不相交的 雜項製造業 and 金屬製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 4323-4323 子屬性 建築和結構金屬製造業 and 金屬製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 4386-4386 子屬性 鍋爐罐和集裝箱製造 and 金屬製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 4497-4497 子屬性 塗層雕刻熱處理和相關活動 and 金屬製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 4289-4289 子屬性 餐具和手工製造 and 金屬製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 4243-4243 子屬性 鍛造和沖壓 and 金屬製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 4428-4428 子屬性 硬件製造 and 金屬製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 4462-4462 子屬性 機械店轉動產品和螺母和螺栓製造 and 金屬製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 4528-4528 子屬性 其他加工金屬製品製造業 and 金屬製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 4434-4434 子屬性 彈簧和線材產品製造 and 金屬製品製造
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23062-23062
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23061-23061
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23060-23060

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 4225-4241


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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