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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Aluminum
  Mouth

Sigma KEE - Aluminum
Aluminum(鋁)

appearance as argument number 1
-------------------------


(atomicNumber Aluminum 13) Mid-level-ontology.kif 27476-27476 13 是 atomic 數字
(boilingPoint Aluminum
    (MeasureFn 2740.0 KelvinDegree))
Mid-level-ontology.kif 29206-29206 測量 2740.0 and 凱文度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 27484-27489
(externalImage Aluminum "http://upload.wikimedia.org/wikipedia/commons/1/ 19/ Aluminum_Metal_coinless.jpg") pictureList.kif 2099-2099
(externalImage Aluminum "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 19/ Aluminum_Metal_coinless.jpg/ 180px-Aluminum_Metal_coinless.jpg") pictureList.kif 1025-1025
(meltingPoint Aluminum
    (MeasureFn 933.52 KelvinDegree))
Mid-level-ontology.kif 29205-29205 測量 933.52 and 凱文度melting
(names Aluminum "Aluminum") Mid-level-ontology.kif 27474-27474 and "Aluminum"
(roomTempState Aluminum Solid) Mid-level-ontology.kif 31463-31463 roomTempState and 固體
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 27473-27473 子類 and ElementalSubstance

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


(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 27475-27475 是 "Al" 的 conventional 簡稱
(termFormat ChineseLanguage Aluminum "铝") domainEnglishFormat.kif 7032-7032
(termFormat ChineseTraditionalLanguage Aluminum "鋁") domainEnglishFormat.kif 7031-7031
(termFormat EnglishLanguage Aluminum "aluminum") domainEnglishFormat.kif 7030-7030

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


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

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


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


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

Show without tree


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