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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Iron
Iron(iron)
Fe, atomic_number_26, iron, iron_filing

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


(atomicNumber Iron 26) Mid-level-ontology.kif 25936-25936 26 is an atomic number of iron
(boilingPoint Iron
    (MeasureFn 3023 KelvinDegree))
Mid-level-ontology.kif 27390-27390 3023 Kelvin degree(s) is a boiling point of iron
(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 25943-25947
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/0/03/ Fe%2C26.jpg") pictureList.kif 2240-2240
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Fe-TableImage.png") pictureList.kif 1822-1822
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 03/ Fe%2C26.jpg/ 125px-Fe%2C26.jpg") pictureList.kif 1150-1150
(meltingPoint Iron
    (MeasureFn 1808 KelvinDegree))
Mid-level-ontology.kif 27389-27389 1808 Kelvin degree(s) is a melting point of iron
(names Iron "Iron") Mid-level-ontology.kif 25934-25934 "Iron" has name iron
(subclass Iron ElementalSubstance) Mid-level-ontology.kif 25933-25933 Iron is a subclass of elemental substance

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


(conventionalShortName "Fe" Iron) Mid-level-ontology.kif 25935-25935 Iron is a conventional short name of "Fe"
(termFormat ChineseLanguage Iron "铁") domainEnglishFormat.kif 30919-30919
(termFormat ChineseTraditionalLanguage Iron "鐵") domainEnglishFormat.kif 30918-30918
(termFormat EnglishLanguage Iron "iron") domainEnglishFormat.kif 30917-30917

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


(=>
    (and
        (instance ?ATOM Iron)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 55.847 Amu)))
Mid-level-ontology.kif 25937-25941
(=>
    (and
        (instance ?PROCESS Separating)
        (resource ?PROCESS ?SOURCE)
        (result ?PROCESS ?PRODUCT)
        (instance ?PRODUCT Iron))
    (instance ?SOURCE IronOre))
Economy.kif 4514-4520

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


(=>
    (instance ?ORE IronOre)
    (exists (?METAL)
        (and
            (instance ?METAL Iron)
            (component ?METAL ?ORE))))
Economy.kif 4522-4527
(=>
    (instance ?STEEL Steel)
    (exists (?IRON)
        (and
            (instance ?IRON Iron)
            (part ?IRON ?STEEL))))
Mid-level-ontology.kif 8607-8612


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