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 25757-25757 atomicNumber Aluminum and 13
(boilingPoint Aluminum
    (MeasureFn 2740 KelvinDegree))
Mid-level-ontology.kif 27389-27389 boilingPoint Aluminum and MeasureFn 2740 and KelvinDegree
(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 25764-25769
(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 27388-27388 meltingPoint Aluminum and MeasureFn 933.52 and KelvinDegree
(names Aluminum "Aluminum") Mid-level-ontology.kif 25755-25755 names Aluminum and "Aluminum"
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 25754-25754 subclass Aluminum and ElementalSubstance

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


(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 25756-25756 conventionalShortName "Al" and Aluminum
(termFormat ChineseLanguage Aluminum "铝") domainEnglishFormat.kif 7039-7039
(termFormat ChineseTraditionalLanguage Aluminum "鋁") domainEnglishFormat.kif 7038-7038
(termFormat EnglishLanguage Aluminum "aluminum") domainEnglishFormat.kif 7037-7037

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


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

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


(=>
    (instance ?OBJ OpticalDisc)
    (or
        (material Gold ?OBJ)
        (material Aluminum ?OBJ)))
Media.kif 1147-1151
(=>
    (instance ?RV8 RoverV8Engine)
    (material Aluminum ?RV8))
Cars.kif 4703-4705


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