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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MetallurgyIndustry
MetallurgyIndustry(metallurgy industry)

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


(industryProductType MetallurgyIndustry Metal) Economy.kif 1788-1788 Metal is an industry product type of metallurgy industry
(instance MetallurgyIndustry IndustryAttribute) Economy.kif 1787-1787 Metallurgy industry is an instance of industry attribute

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 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