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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Scandium
Scandium

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


(atomicNumber Scandium 21) Mid-level-ontology.kif 27593-27593
(boilingPoint Scandium
    (MeasureFn 3105.0 KelvinDegree))
Mid-level-ontology.kif 29210-29210
(documentation Scandium EnglishLanguage "Rare soft silvery metallic element belonging to group 3 of the periodic table. There are ten isotopes, nine of which are radioactive and have short half-lives. Predicted in 1869 by Mendeleev, isolated by Nilson in 1879.") Mid-level-ontology.kif 27601-27604
(externalImage Scandium "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Sc%2C21.jpg") pictureList.kif 2344-2344
(externalImage Scandium "http://upload.wikimedia.org/wikipedia/commons/c/ ce/ Sc-TableImage.svg") pictureList.kif 1970-1970
(externalImage Scandium "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cc/ Sc%2C21.jpg/ 125px-Sc%2C21.jpg") pictureList.kif 1244-1244
(meltingPoint Scandium
    (MeasureFn 1812.0 KelvinDegree))
Mid-level-ontology.kif 29209-29209
(names Scandium "Scandium") Mid-level-ontology.kif 27591-27591
(roomTempState Scandium Solid) Mid-level-ontology.kif 31467-31467
(subclass Scandium ElementalSubstance) Mid-level-ontology.kif 27590-27590

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


(conventionalShortName "Sc" Scandium) Mid-level-ontology.kif 27592-27592
(termFormat ChineseLanguage Scandium "钪") domainEnglishFormat.kif 51471-51471
(termFormat ChineseTraditionalLanguage Scandium "鈧") domainEnglishFormat.kif 51470-51470
(termFormat EnglishLanguage Scandium "scandium") domainEnglishFormat.kif 51469-51469

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


(=>
    (and
        (instance ?ATOM Scandium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 44.956 Amu)))
Mid-level-ontology.kif 27595-27599


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