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 4510-4512
(externalImage IronOre "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Hematite.jpg") pictureList.kif 1489-1489 externalImage IronOre and "http://upload.wikimedia.org/wikipedia/commons/a/ae/ Hematite.jpg"
(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 30979-30979 termFormat ChineseLanguage, IronOre and "铁矿"
(termFormat ChineseTraditionalLanguage IronOre "鐵礦") domainEnglishFormat.kif 30978-30978 termFormat ChineseTraditionalLanguage, IronOre and "鐵礦"
(termFormat EnglishLanguage IronOre "iron ore") domainEnglishFormat.kif 30977-30977 termFormat EnglishLanguage, IronOre and "iron ore"

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


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

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


(=>
    (and
        (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