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 industryProductType MetallurgyIndustry and m�tal
(instance MetallurgyIndustry IndustryAttribute) Economy.kif 1787-1787 MetallurgyIndustry est une instance de IndustryAttribute

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