| Aluminum(aluminum)
| | Al, aluminium, aluminum, atomic_number_13 |
| appearance as argument number 1 |
|
|
| (atomicNumber Aluminum 13) | Mid-level-ontology.kif 27760-27760 | 13 is an atomic number of aluminum |
| (boilingPoint Aluminum (MeasureFn 2740.0 KelvinDegree)) |
Mid-level-ontology.kif 29490-29490 | 2740.0 Kelvin degree(s) is a boiling point of aluminum |
| (documentation Aluminum EnglishLanguage "Silvery-white lustrous metallic element of group 3 of the periodic table. Highly reactive but protected by a thin transparent layer of the oxide which quickly forms in air. There are many alloys of aluminum, as well as a good number of industrial uses. Makes up 8.1 percent of the Earth's crust, by weight. Isolated in 1825 by H.C. Oersted.") | Mid-level-ontology.kif 27768-27773 | 2740.0 Kelvin degree(s) is a boiling point of aluminum |
| (externalImage Aluminum "http://upload.wikimedia.org/wikipedia/commons/1/ 19/ Aluminum_Metal_coinless.jpg") | pictureList.kif 2099-2099 | 2740.0 Kelvin degree(s) is a boiling point of aluminum |
| (externalImage Aluminum "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 19/ Aluminum_Metal_coinless.jpg/ 180px-Aluminum_Metal_coinless.jpg") | pictureList.kif 1025-1025 | 2740.0 Kelvin degree(s) is a boiling point of aluminum |
| (meltingPoint Aluminum (MeasureFn 933.52 KelvinDegree)) |
Mid-level-ontology.kif 29489-29489 | 933.52 Kelvin degree(s) is a melting point of aluminum |
| (names Aluminum "Aluminum") | Mid-level-ontology.kif 27758-27758 | "Aluminum" has name aluminum |
| (roomTempState Aluminum Solid) | Mid-level-ontology.kif 31728-31728 | roomTempState aluminum and solid |
| (subclass Aluminum ElementalSubstance) | Mid-level-ontology.kif 27757-27757 | Aluminum is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Al" Aluminum) | Mid-level-ontology.kif 27759-27759 | Aluminum is a conventional short name of "Al" |
| (termFormat ChineseLanguage Aluminum "铝") | domainEnglishFormat.kif 7040-7040 | Aluminum is a conventional short name of "Al" |
| (termFormat ChineseTraditionalLanguage Aluminum "鋁") | domainEnglishFormat.kif 7039-7039 | Aluminum is a conventional short name of "Al" |
| (termFormat EnglishLanguage Aluminum "aluminum") | domainEnglishFormat.kif 7038-7038 | Aluminum is a conventional short name of "Al" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Aluminum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 26.9815 Amu))) |
Mid-level-ontology.kif 27762-27766 |
|
| consequent |
|
|
| (=> (instance ?OBJ OpticalDisc) (or (material Gold ?OBJ) (material Aluminum ?OBJ))) |
Media.kif 1143-1147 |
|
| (=> (instance ?RV8 RoverV8Engine) (material Aluminum ?RV8)) |
Cars.kif 4707-4709 |
|
|
|
|