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 5625-5627
(externalImage IronOre "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Hematite.jpg") pictureList.kif 1488-1488
(roomTempState IronOre Solid) Mid-level-ontology.kif 31616-31616
(subclass IronOre CompoundSubstance) Economy.kif 5621-5621
(subclass IronOre Mineral) Economy.kif 5624-5624

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


(industryProductType IronOreMining IronOre) Economy.kif 1806-1806
(names "iron ore" IronOre) Economy.kif 5622-5622
(termFormat ChineseLanguage IronOre "铁矿") domainEnglishFormat.kif 31075-31075
(termFormat ChineseTraditionalLanguage IronOre "鐵礦") domainEnglishFormat.kif 31074-31074
(termFormat EnglishLanguage IronOre "iron ore") domainEnglishFormat.kif 31073-31073

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


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

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


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


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