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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Aluminum

Sigma KEE - Aluminum
Aluminum

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


(atomicNumber Aluminum 13) Mid-level-ontology.kif 25727-25727
(boilingPoint Aluminum
    (MeasureFn 2740 KelvinDegree))
Mid-level-ontology.kif 27359-27359
(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 25734-25739
(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 27358-27358
(names Aluminum "Aluminum") Mid-level-ontology.kif 25725-25725
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 25724-25724

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


(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 25726-25726
(termFormat EnglishLanguage Aluminum "aluminum") domainEnglishFormat.kif 1606-1606

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


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

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners