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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PrimaryMetalManufacturing

 Sigma KEE - PrimaryMetalManufacturing
PrimaryMetalManufacturing(主要金屬製造業)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3939-3941
No TPTP formula. May not be expressible in strict first order. naics.kif 3937-3937 例 主要金屬製造業 and 行業屬性

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6147-6147 不相交的 雜項製造業 and 主要金屬製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 4016-4016 子屬性 氧化鋁和鋁的生產和加工 and 主要金屬製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 4146-4146 子屬性 代工廠 and 主要金屬製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 3961-3961 子屬性 鋼鐵廠和鐵合金製造業 and 主要金屬製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 4063-4063 子屬性 除鋁生產和加工外的有色金屬 and 主要金屬製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 3982-3982 子屬性 採購鋼材生產鋼材 and 主要金屬製造業
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47318-47318
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47317-47317
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47316-47316

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3943-3959


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