Iron![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(atomicNumber Iron 26) | Mid-level-ontology.kif 25924-25924 | |
(boilingPoint Iron (MeasureFn 3023 KelvinDegree)) |
Mid-level-ontology.kif 27378-27378 | |
(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 "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 27377-27377 | |
(names Iron "Iron") | Mid-level-ontology.kif 25922-25922 | |
(subclass Iron ElementalSubstance) | Mid-level-ontology.kif 25921-25921 |
appearance as argument number 2 |
![]() |
(conventionalShortName "Fe" Iron) | Mid-level-ontology.kif 25923-25923 | |
(termFormat ChineseLanguage Iron "铁") | domainEnglishFormat.kif 30925-30925 | |
(termFormat ChineseTraditionalLanguage Iron "鐵") | domainEnglishFormat.kif 30924-30924 | |
(termFormat EnglishLanguage Iron "iron") | domainEnglishFormat.kif 30923-30923 |
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 |
![]() |
![]() |