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 26846-26846 13 是 atomic 数字
(boilingPoint Aluminum
    (MeasureFn 2740.0 KelvinDegree))
Mid-level-ontology.kif 28576-28576 2740.0 凯文度boiling
(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 26854-26859
(externalImage Aluminum "http://upload.wikimedia.org/wikipedia/commons/1/ 19/ Aluminum_Metal_coinless.jpg") pictureList.kif 2100-2100
(externalImage Aluminum "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 19/ Aluminum_Metal_coinless.jpg/ 180px-Aluminum_Metal_coinless.jpg") pictureList.kif 1026-1026
(meltingPoint Aluminum
    (MeasureFn 933.52 KelvinDegree))
Mid-level-ontology.kif 28575-28575 933.52 凯文度melting
(names Aluminum "Aluminum") Mid-level-ontology.kif 26844-26844 "Aluminum" 的名 是
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 26843-26843 元素物质subclass

appearance as argument number 2
-------------------------


(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 26845-26845 是 "Al" 的 conventional 简称
(termFormat ChineseLanguage Aluminum "铝") domainEnglishFormat.kif 7041-7041
(termFormat ChineseTraditionalLanguage Aluminum "鋁") domainEnglishFormat.kif 7040-7040
(termFormat EnglishLanguage Aluminum "aluminum") domainEnglishFormat.kif 7039-7039

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Aluminum)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 26.9815 Amu)))
Mid-level-ontology.kif 26848-26852

consequent
-------------------------


(=>
    (instance ?OBJ OpticalDisc)
    (or
        (material Gold ?OBJ)
        (material Aluminum ?OBJ)))
Media.kif 1143-1147
(=>
    (instance ?RV8 RoverV8Engine)
    (material Aluminum ?RV8))
Cars.kif 4725-4727


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