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 25924-25924 atomicNumber Iron and 26
(boilingPoint Iron
    (MeasureFn 3023 KelvinDegree))
Mid-level-ontology.kif 27378-27378 boilingPoint Iron and MeasureFn 3023 and KelvinDegree
(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 25931-25935
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/0/03/ Fe%2C26.jpg") pictureList.kif 2240-2240 externalImage Iron and "http://upload.wikimedia.org/wikipedia/commons/0/03/ Fe%2C26.jpg"
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Fe-TableImage.png") pictureList.kif 1822-1822 externalImage Iron and "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Fe-TableImage.png"
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 03/ Fe%2C26.jpg/ 125px-Fe%2C26.jpg") pictureList.kif 1150-1150 externalImage Iron and "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 03/ Fe%2C26.jpg/ 125px-Fe%2C26.jpg"
(meltingPoint Iron
    (MeasureFn 1808 KelvinDegree))
Mid-level-ontology.kif 27377-27377 meltingPoint Iron and MeasureFn 1808 and KelvinDegree
(names Iron "Iron") Mid-level-ontology.kif 25922-25922 names Iron and "Iron"
(subclass Iron ElementalSubstance) Mid-level-ontology.kif 25921-25921 subclass Iron and ElementalSubstance

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


(conventionalShortName "Fe" Iron) Mid-level-ontology.kif 25923-25923 conventionalShortName "Fe" and Iron
(termFormat ChineseLanguage Iron "铁") domainEnglishFormat.kif 30925-30925 termFormat ChineseLanguage, Iron and "铁"
(termFormat ChineseTraditionalLanguage Iron "鐵") domainEnglishFormat.kif 30924-30924 termFormat ChineseTraditionalLanguage, Iron and "鐵"
(termFormat EnglishLanguage Iron "iron") domainEnglishFormat.kif 30923-30923 termFormat EnglishLanguage, Iron and "iron"

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


(=>
    (and
        (instance ?ATOM Iron)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 55.847 Amu)))
Mid-level-ontology.kif 25925-25929
(=>
    (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 8606-8611


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