Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Aluminum
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners