Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Iron(iron)
|  | Fe, atomic_number_26, iron, iron_filing |
| appearance as argument number 1 |
|
|
| (subclass Iron ElementalSubstance) | Mid-level-ontology.kif 30316-30316 | Iron is a subclass of elemental substance |
| (atomicNumber Iron 26) | Mid-level-ontology.kif 30319-30319 | 26 is an atomic number 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 30327-30331 | 26 is an atomic number of iron |
| (meltingPoint Iron (MeasureFn 1808.0 KelvinDegree)) |
Mid-level-ontology.kif 31857-31857 | 1808.0 Kelvin degree(s) is a melting point of iron |
| (boilingPoint Iron (MeasureFn 3023.0 KelvinDegree)) |
Mid-level-ontology.kif 31858-31858 | 3023.0 Kelvin degree(s) is a boiling point of iron |
| (roomTempState Iron Solid) | Mid-level-ontology.kif 33948-33948 | room temperature state iron and solid |
| (externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 03/ Fe%2C26.jpg/ 125px_Fe%2C26.jpg") | pictureList.kif 1149-1149 | room temperature state iron and solid |
| (externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Fe_TableImage.png") | pictureList.kif 1820-1820 | room temperature state iron and solid |
| (externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/0/03/ Fe%2C26.jpg") | pictureList.kif 2238-2238 | room temperature state iron and solid |
| appearance as argument number 2 |
|
|
| (names "Iron" Iron) | Mid-level-ontology.kif 30317-30317 | Iron has name "Iron" |
| (conventionalShortName "Fe" Iron) | Mid-level-ontology.kif 30318-30318 | Iron is a conventional short name of "Fe" |
| (termFormat EnglishLanguage Iron "iron") | domainEnglishFormat.kif 31023-31023 | Iron is a conventional short name of "Fe" |
| (termFormat ChineseTraditionalLanguage Iron "鐵") | domainEnglishFormat.kif 31024-31024 | Iron is a conventional short name of "Fe" |
| (termFormat ChineseLanguage Iron "铁") | domainEnglishFormat.kif 31025-31025 | 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 30321-30325 | If X is an instance of iron and X is an instance of atom, then the measure of X is 55.847 amu(s) |
| (=> (and (instance ?PROCESS Separating) (resource ?PROCESS ?SOURCE) (result ?PROCESS ?PRODUCT) (instance ?PRODUCT Iron)) (instance ?SOURCE IronOre)) |
Economy.kif 5984-5990 | If X is an instance of separating, Y is a resource for X, Z is a result of X, and Z is an instance of iron, then Y is an instance of iron ore |
| consequent |
|
|
| (=> (instance ?STEEL Steel) (exists (?IRON) (and (instance ?IRON Iron) (part ?IRON ?STEEL)))) |
Mid-level-ontology.kif 10298-10303 | If X is an instance of steel, then there exists Y such that Y is an instance of iron and Y is a part of X |
| (=> (instance ?ORE IronOre) (exists (?METAL) (and (instance ?METAL Iron) (component ?METAL ?ORE)))) |
Economy.kif 5992-5997 | If X is an instance of iron ore, then there exists Y such that Y is an instance of iron and Y is a component of X |
| (=> (instance ?R Rusting) (exists (?I ?O) (and (patient ?R ?I) (or (instance ?I Iron) (instance ?I Steel)) (result ?R ?O) (instance ?O Rust)))) |
Transportation.kif 4831-4840 | If X is an instance of rusting, then there exist Y, Z such that Y is a patient of X, Y is an instance of iron or Y is an instance of steel, Z is a result of X, and Z is an instance of rust |
| (=> (instance ?IO IronOxide) (exists (?I ?O) (and (instance ?I Iron) (instance ?O Oxygen) (part ?I ?IO) (part ?O ?IO)))) |
Transportation.kif 4848-4855 | If X is an instance of iron oxide, then there exist Y, Z such that Y is an instance of iron, Z is an instance of oxygen, Y is a part of X, and Z is a part of X |
| (=> (speedOfSound (MeasureFn ?N MeterPerSecond) ?R ?T) (holdsDuring ?T (exists (?O) (and (part ?R ?O) (instance ?0 CorpuscularObject) (material Iron ?O) (measure ?O (MeasureFn 20 CelsiusDegree)) (approximateValue ?N 5120))))) |
Transportation.kif 5160-5170 | If the speedOfSound for X meter per second(s) at Y is X meter per second(s), then there exists Z such that Y is a part of Z and W is an instance of corpuscular object and Z is made of iron and the measure of Z is 20 celsius degree(s) and the approximate value of X is 5120 holds during V |
|