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

KB Term:  Term intersection
English Word: 

Sigma KEE - MetallurgyIndustry
MetallurgyIndustry(metallurgy industry)

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


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

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


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

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


(=>
    (instance ?ORG MetallurgicalPlant)
    (attribute ?ORG MetallurgyIndustry))		 Economy.kif 1910-1912 If X is an instance of metallurgical plant, then metallurgy industry is an attribute of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners