Aluminum![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(atomicNumber Aluminum 13) | Mid-level-ontology.kif 29395-29395 | atomicNumber Aluminum and 13 |
(boilingPoint Aluminum (MeasureFn 2740.0 KelvinDegree)) |
Mid-level-ontology.kif 31125-31125 | boilingPoint Aluminum and 2740.0 の KelvinDegree(s) |
(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 29403-29408 | boilingPoint Aluminum and 2740.0 の KelvinDegree(s) |
(externalImage Aluminum "http://upload.wikimedia.org/wikipedia/commons/1/ 19/ Aluminum_Metal_coinless.jpg") | pictureList.kif 2098-2098 | boilingPoint Aluminum and 2740.0 の KelvinDegree(s) |
(externalImage Aluminum "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 19/ Aluminum_Metal_coinless.jpg/ 180px_Aluminum_Metal_coinless.jpg") | pictureList.kif 1025-1025 | boilingPoint Aluminum and 2740.0 の KelvinDegree(s) |
(meltingPoint Aluminum (MeasureFn 933.52 KelvinDegree)) |
Mid-level-ontology.kif 31124-31124 | meltingPoint Aluminum and 933.52 の KelvinDegree(s) |
(names Aluminum "Aluminum") | Mid-level-ontology.kif 29393-29393 | "Aluminum" は Aluminum の &ames$"name" を 持って |
(roomTempState Aluminum Solid) | Mid-level-ontology.kif 33408-33408 | roomTempState Aluminum and Solid |
(subclass Aluminum ElementalSubstance) | Mid-level-ontology.kif 29392-29392 | Aluminum は 単体 の subclass では |
appearance as argument number 2 |
![]() |
(conventionalShortName "Al" Aluminum) | Mid-level-ontology.kif 29394-29394 | conventionalShortName "Al" and Aluminum |
(termFormat ChineseLanguage Aluminum "铝") | domainEnglishFormat.kif 7039-7039 | conventionalShortName "Al" and Aluminum |
(termFormat ChineseTraditionalLanguage Aluminum "鋁") | domainEnglishFormat.kif 7038-7038 | conventionalShortName "Al" and Aluminum |
(termFormat EnglishLanguage Aluminum "aluminum") | domainEnglishFormat.kif 7037-7037 | conventionalShortName "Al" and Aluminum |
antecedent |
![]() |
(=> (and (instance ?ATOM Aluminum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 26.9815 Amu))) |
Mid-level-ontology.kif 29397-29401 |
consequent |
![]() |
(=> (instance ?OBJ OpticalDisc) (or (material Gold ?OBJ) (material Aluminum ?OBJ))) |
Media.kif 1143-1147 | |
(=> (instance ?RV8 RoverV8Engine) (material Aluminum ?RV8)) |
Cars.kif 4783-4785 |
![]() |
![]() |