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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Aluminum
Aluminum(aluminum)
Al, aluminium, aluminum, atomic_number_13

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


(atomicNumber Aluminum 13) Mid-level-ontology.kif 28591-28591 13 is an atomic number of aluminum
(boilingPoint Aluminum
    (MeasureFn 2740.0 KelvinDegree))
Mid-level-ontology.kif 30321-30321 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 28599-28604 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 2098-2098 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 30320-30320 933.52 Kelvin degree(s) is a melting point of aluminum
(names Aluminum "Aluminum") Mid-level-ontology.kif 28589-28589 "Aluminum" has name aluminum
(roomTempState Aluminum Solid) Mid-level-ontology.kif 32586-32586 roomTempState aluminum and solid
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 28588-28588 Aluminum is a subclass of elemental substance

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


(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 28590-28590 Aluminum is a conventional short name of "Al"
(termFormat ChineseLanguage Aluminum "铝") domainEnglishFormat.kif 7039-7039 Aluminum is a conventional short name of "Al"
(termFormat ChineseTraditionalLanguage Aluminum "鋁") domainEnglishFormat.kif 7038-7038 Aluminum is a conventional short name of "Al"
(termFormat EnglishLanguage Aluminum "aluminum") domainEnglishFormat.kif 7037-7037 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 28593-28597

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