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 29612-29612 atomicNumber Iron and 26
(boilingPoint Iron
    (MeasureFn 3023.0 KelvinDegree))
Mid-level-ontology.kif 31151-31151 boilingPoint Iron and 3023.0 の KelvinDegree(s)
(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 29620-29624 boilingPoint Iron and 3023.0 の KelvinDegree(s)
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/0/03/ Fe%2C26.jpg") pictureList.kif 2238-2238 boilingPoint Iron and 3023.0 の KelvinDegree(s)
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Fe_TableImage.png") pictureList.kif 1820-1820 boilingPoint Iron and 3023.0 の KelvinDegree(s)
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 03/ Fe%2C26.jpg/ 125px_Fe%2C26.jpg") pictureList.kif 1149-1149 boilingPoint Iron and 3023.0 の KelvinDegree(s)
(meltingPoint Iron
    (MeasureFn 1808.0 KelvinDegree))
Mid-level-ontology.kif 31150-31150 meltingPoint Iron and 1808.0 の KelvinDegree(s)
(names Iron "Iron") Mid-level-ontology.kif 29610-29610 "Iron" は Iron の &ames$"name" を 持って
(roomTempState Iron Solid) Mid-level-ontology.kif 33421-33421 roomTempState Iron and Solid
(subclass Iron ElementalSubstance) Mid-level-ontology.kif 29609-29609 Iron単体subclass では

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


(conventionalShortName "Fe" Iron) Mid-level-ontology.kif 29611-29611 conventionalShortName "Fe" and Iron
(termFormat ChineseLanguage Iron "铁") domainEnglishFormat.kif 31032-31032 conventionalShortName "Fe" and Iron
(termFormat ChineseTraditionalLanguage Iron "鐵") domainEnglishFormat.kif 31031-31031 conventionalShortName "Fe" and Iron
(termFormat EnglishLanguage Iron "iron") domainEnglishFormat.kif 31030-31030 conventionalShortName "Fe" and Iron

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


(=>
    (and
        (instance ?ATOM Iron)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 55.847 Amu)))
Mid-level-ontology.kif 29614-29618
(=>
    (and
        (instance ?PROCESS Separating)
        (resource ?PROCESS ?SOURCE)
        (result ?PROCESS ?PRODUCT)
        (instance ?PRODUCT Iron))
    (instance ?SOURCE IronOre))
Economy.kif 5971-5977

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


(=>
    (instance ?IO IronOxide)
    (exists (?I ?O)
        (and
            (instance ?I Iron)
            (instance ?O Oxygen)
            (part ?I ?IO)
            (part ?O ?IO))))
Transportation.kif 4308-4315
(=>
    (instance ?ORE IronOre)
    (exists (?METAL)
        (and
            (instance ?METAL Iron)
            (component ?METAL ?ORE))))
Economy.kif 5979-5984
(=>
    (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 4291-4300
(=>
    (instance ?STEEL Steel)
    (exists (?IRON)
        (and
            (instance ?IRON Iron)
            (part ?IRON ?STEEL))))
Mid-level-ontology.kif 10137-10142


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