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

KB Term:  Term intersection
English Word: 

Sigma KEE - NickelOreMining
NickelOreMining(nickel ore mining)

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


(subAttribute NickelOreMining CopperOreAndNickelOreMining) Economy.kif 1923-1923 Nickel ore mining is a subattribute of copper ore and nickel ore mining
(industryProductType NickelOreMining NickelOre) Economy.kif 1928-1928 Nickel ore is an industry product type of nickel ore mining

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


(termFormat EnglishLanguage NickelOreMining "nickel ore mining") domainEnglishFormat.kif 40501-40501
(termFormat ChineseTraditionalLanguage NickelOreMining "鎳礦開採") domainEnglishFormat.kif 40502-40502
(termFormat ChineseLanguage NickelOreMining "镍矿开采") domainEnglishFormat.kif 40503-40503


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