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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IronOre
IronOre(iron ore)
chalybite, goethite, gothite, haematite, hematite, iron_ore, lepidocrocite, limonite, magnetic_iron-ore, magnetite, raddle, reddle, ruddle, siderite, taconite

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 roomTempState iron ore and solid
(subclass IronOre CompoundSubstance) Economy.kif 5621-5621 Iron ore is a subclass of compound substance
(subclass IronOre Mineral) Economy.kif 5624-5624 Iron ore is a subclass of mineral

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


(industryProductType IronOreMining IronOre) Economy.kif 1806-1806 Iron ore is an industry product type of iron ore mining
(names "iron ore" IronOre) Economy.kif 5622-5622 Iron ore has name "iron ore"
(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