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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IronOre
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 4668-4670
(externalImage IronOre "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Hematite.jpg") pictureList.kif 1489-1489
(subclass IronOre CompoundSubstance) Economy.kif 4664-4664 铁矿复合物质subclass
(subclass IronOre Mineral) Economy.kif 4667-4667 铁矿矿物subclass

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


(industryProductType IronOreMining IronOre) Economy.kif 1817-1817 铁矿铁矿开采industry 产品类别
(names "iron ore" IronOre) Economy.kif 4665-4665 铁矿 的名 是 "iron ore"
(termFormat ChineseLanguage IronOre "铁矿") domainEnglishFormat.kif 31062-31062
(termFormat ChineseTraditionalLanguage IronOre "鐵礦") domainEnglishFormat.kif 31061-31061
(termFormat EnglishLanguage IronOre "iron ore") domainEnglishFormat.kif 31060-31060

antecedent
-------------------------


(=>
    (instance ?ORE IronOre)
    (exists (?METAL)
        (and
            (instance ?METAL Iron)
            (component ?METAL ?ORE))))
Economy.kif 4680-4685

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


(=>
    (and
        (instance ?PROCESS Separating)
        (resource ?PROCESS ?SOURCE)
        (result ?PROCESS ?PRODUCT)
        (instance ?PRODUCT Iron))
    (instance ?SOURCE IronOre))
Economy.kif 4672-4678


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