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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Iron
Iron

appearance as argument number 1
-------------------------


(atomicNumber Iron 26) Mid-level-ontology.kif 28637-28637
(boilingPoint Iron
    (MeasureFn 3023.0 KelvinDegree))
Mid-level-ontology.kif 30176-30176
(documentation Iron EnglishLanguage "Silvery malleable and ductile metallic transition element. Has nine isotopes and is the fourth most abundant element in the earth's crust. Required by living organisms as a trace element (used in hemoglobin in humans.) Quite reactive, oxidizes in moist air, displaces hydrogen from dilute acids and combines with nonmetallic elements.") Mid-level-ontology.kif 28645-28649
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/0/03/ Fe%2C26.jpg") pictureList.kif 2238-2238
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Fe_TableImage.png") pictureList.kif 1820-1820
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 03/ Fe%2C26.jpg/ 125px_Fe%2C26.jpg") pictureList.kif 1149-1149
(meltingPoint Iron
    (MeasureFn 1808.0 KelvinDegree))
Mid-level-ontology.kif 30175-30175
(names Iron "Iron") Mid-level-ontology.kif 28635-28635
(roomTempState Iron Solid) Mid-level-ontology.kif 32428-32428
(subclass Iron ElementalSubstance) Mid-level-ontology.kif 28634-28634

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


(conventionalShortName "Fe" Iron) Mid-level-ontology.kif 28636-28636
(termFormat ChineseLanguage Iron "铁") domainEnglishFormat.kif 31049-31049
(termFormat ChineseTraditionalLanguage Iron "鐵") domainEnglishFormat.kif 31048-31048
(termFormat EnglishLanguage Iron "iron") domainEnglishFormat.kif 31047-31047

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


(=>
    (and
        (instance ?ATOM Iron)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 55.847 Amu)))
Mid-level-ontology.kif 28639-28643
(=>
    (and
        (instance ?PROCESS Separating)
        (resource ?PROCESS ?SOURCE)
        (result ?PROCESS ?PRODUCT)
        (instance ?PRODUCT Iron))
    (instance ?SOURCE IronOre))
Economy.kif 5844-5850

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


(=>
    (instance ?IO IronOxide)
    (exists (?I ?O)
        (and
            (instance ?I Iron)
            (instance ?O Oxygen)
            (part ?I ?IO)
            (part ?O ?IO))))
Transportation.kif 4302-4309
(=>
    (instance ?ORE IronOre)
    (exists (?METAL)
        (and
            (instance ?METAL Iron)
            (component ?METAL ?ORE))))
Economy.kif 5852-5857
(=>
    (instance ?R Rusting)
    (exists (?I ?O)
        (and
            (patient ?R ?I)
            (or
                (instance ?I Iron)
                (instance ?I Steel))
            (result ?R ?O)
            (instance ?O Rust))))
Transportation.kif 4285-4294
(=>
    (instance ?STEEL Steel)
    (exists (?IRON)
        (and
            (instance ?IRON Iron)
            (part ?IRON ?STEEL))))
Mid-level-ontology.kif 9631-9636


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