| Iron(iron)
| | Fe, atomic_number_26, iron, iron_filing |
| appearance as argument number 1 |
|
|
| (atomicNumber Iron 26) | Mid-level-ontology.kif 27977-27977 | 26 is an atomic number of iron |
| (boilingPoint Iron (MeasureFn 3023.0 KelvinDegree)) |
Mid-level-ontology.kif 29516-29516 | 3023.0 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 27985-27989 | 3023.0 Kelvin degree(s) is a boiling point of iron |
| (externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/0/03/ Fe%2C26.jpg") | pictureList.kif 2239-2239 | 3023.0 Kelvin degree(s) is a boiling point of iron |
| (externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Fe-TableImage.png") | pictureList.kif 1821-1821 | 3023.0 Kelvin degree(s) is a boiling point of iron |
| (externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 03/ Fe%2C26.jpg/ 125px-Fe%2C26.jpg") | pictureList.kif 1149-1149 | 3023.0 Kelvin degree(s) is a boiling point of iron |
| (meltingPoint Iron (MeasureFn 1808.0 KelvinDegree)) |
Mid-level-ontology.kif 29515-29515 | 1808.0 Kelvin degree(s) is a melting point of iron |
| (names Iron "Iron") | Mid-level-ontology.kif 27975-27975 | "Iron" has name iron |
| (roomTempState Iron Solid) | Mid-level-ontology.kif 31741-31741 | roomTempState iron and solid |
| (subclass Iron ElementalSubstance) | Mid-level-ontology.kif 27974-27974 | Iron is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Fe" Iron) | Mid-level-ontology.kif 27976-27976 | Iron is a conventional short name of "Fe" |
| (termFormat ChineseLanguage Iron "铁") | domainEnglishFormat.kif 31055-31055 | Iron is a conventional short name of "Fe" |
| (termFormat ChineseTraditionalLanguage Iron "鐵") | domainEnglishFormat.kif 31054-31054 | Iron is a conventional short name of "Fe" |
| (termFormat EnglishLanguage Iron "iron") | domainEnglishFormat.kif 31053-31053 | Iron is a conventional short name of "Fe" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Iron) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 55.847 Amu))) |
Mid-level-ontology.kif 27979-27983 |
|
| (=> (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 9149-9154 |
|
|
|
|