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 27063-27063 26 是 atomic 数字
(boilingPoint Iron
    (MeasureFn 3023.0 KelvinDegree))
Mid-level-ontology.kif 28602-28602 3023.0 凯文度boiling
(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 27071-27075
(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.0 KelvinDegree))
Mid-level-ontology.kif 28601-28601 1808.0 凯文度melting
(names Iron "Iron") Mid-level-ontology.kif 27061-27061 "Iron" 的名 是
(subclass Iron ElementalSubstance) Mid-level-ontology.kif 27060-27060 元素物质subclass

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


(conventionalShortName "Fe" Iron) Mid-level-ontology.kif 27062-27062 是 "Fe" 的 conventional 简称
(termFormat ChineseLanguage Iron "铁") domainEnglishFormat.kif 31008-31008
(termFormat ChineseTraditionalLanguage Iron "鐵") domainEnglishFormat.kif 31007-31007
(termFormat EnglishLanguage Iron "iron") domainEnglishFormat.kif 31006-31006

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


(=>
    (and
        (instance ?ATOM Iron)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 55.847 Amu)))
Mid-level-ontology.kif 27065-27069
(=>
    (and
        (instance ?PROCESS Separating)
        (resource ?PROCESS ?SOURCE)
        (result ?PROCESS ?PRODUCT)
        (instance ?PRODUCT Iron))
    (instance ?SOURCE IronOre))
Economy.kif 4672-4678

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


(=>
    (instance ?ORE IronOre)
    (exists (?METAL)
        (and
            (instance ?METAL Iron)
            (component ?METAL ?ORE))))
Economy.kif 4680-4685
(=>
    (instance ?STEEL Steel)
    (exists (?IRON)
        (and
            (instance ?IRON Iron)
            (part ?IRON ?STEEL))))
Mid-level-ontology.kif 8534-8539


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