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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - IronOre

appearance as argument number 1

(documentation IronOre EnglishLanguage "IronOre is a subclass of CompoundSubstance that contains compounds of iron, of which the most common are hematite and limonite. Iron is obtained from smelting iron ores.") Economy.kif 4510-4512
(externalImage IronOre " ae/ Hematite.jpg") pictureList.kif 1489-1489
(subclass IronOre CompoundSubstance) Economy.kif 4506-4506 subclass IronOre and CompoundSubstance
(subclass IronOre Mineral) Economy.kif 4509-4509 subclass IronOre and Mineral

appearance as argument number 2

(industryProductType IronOreMining IronOre) Economy.kif 1810-1810 industryProductType IronOreMining and IronOre
(names "iron ore" IronOre) Economy.kif 4507-4507 names "iron ore" and IronOre
(termFormat ChineseLanguage IronOre "铁矿") domainEnglishFormat.kif 30973-30973
(termFormat ChineseTraditionalLanguage IronOre "鐵礦") domainEnglishFormat.kif 30972-30972
(termFormat EnglishLanguage IronOre "iron ore") domainEnglishFormat.kif 30971-30971


    (instance ?ORE IronOre)
    (exists (?METAL)
            (instance ?METAL Iron)
            (component ?METAL ?ORE))))
Economy.kif 4522-4527


        (instance ?PROCESS Separating)
        (resource ?PROCESS ?SOURCE)
        (result ?PROCESS ?PRODUCT)
        (instance ?PRODUCT Iron))
    (instance ?SOURCE IronOre))
Economy.kif 4514-4520

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners