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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MetallurgyIndustry

Sigma KEE - MetallurgyIndustry
MetallurgyIndustry(冶金工业)

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


(industryProductType MetallurgyIndustry Metal) Economy.kif 1788-1788 金属冶金工业industry 产品类别
(instance MetallurgyIndustry IndustryAttribute) Economy.kif 1787-1787 冶金工业行业属性instance

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


(termFormat ChineseLanguage MetallurgyIndustry "冶金工业") domainEnglishFormat.kif 37277-37277
(termFormat ChineseTraditionalLanguage MetallurgyIndustry "冶金工業") domainEnglishFormat.kif 37276-37276
(termFormat EnglishLanguage MetallurgyIndustry "metallurgy industry") domainEnglishFormat.kif 37275-37275

consequent
-------------------------


(=>
    (instance ?ORG MetallurgicalPlant)
    (attribute ?ORG MetallurgyIndustry))
Economy.kif 1790-1792


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