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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Iron

Sigma KEE - Iron
Iron

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


(atomicNumber Iron 26) Mid-level-ontology.kif 27693-27693
(boilingPoint Iron
    (MeasureFn 3023.0 KelvinDegree))
Mid-level-ontology.kif 29232-29232
(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 27701-27705
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/0/03/ Fe%2C26.jpg") pictureList.kif 2239-2239
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Fe-TableImage.png") pictureList.kif 1821-1821
(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 29231-29231
(names Iron "Iron") Mid-level-ontology.kif 27691-27691
(roomTempState Iron Solid) Mid-level-ontology.kif 31476-31476
(subclass Iron ElementalSubstance) Mid-level-ontology.kif 27690-27690

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


(conventionalShortName "Fe" Iron) Mid-level-ontology.kif 27692-27692
(termFormat ChineseLanguage Iron "铁") domainEnglishFormat.kif 31021-31021
(termFormat ChineseTraditionalLanguage Iron "鐵") domainEnglishFormat.kif 31020-31020
(termFormat EnglishLanguage Iron "iron") domainEnglishFormat.kif 31019-31019

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


(=>
    (and
        (instance ?ATOM Iron)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 55.847 Amu)))
Mid-level-ontology.kif 27695-27699
(=>
    (and
        (instance ?PROCESS Separating)
        (resource ?PROCESS ?SOURCE)
        (result ?PROCESS ?PRODUCT)
        (instance ?PRODUCT Iron))
    (instance ?SOURCE IronOre))
Economy.kif 5629-5635

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


(=>
    (instance ?ORE IronOre)
    (exists (?METAL)
        (and
            (instance ?METAL Iron)
            (component ?METAL ?ORE))))
Economy.kif 5637-5642
(=>
    (instance ?STEEL Steel)
    (exists (?IRON)
        (and
            (instance ?IRON Iron)
            (part ?IRON ?STEEL))))
Mid-level-ontology.kif 8931-8936


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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