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 27889-27889
(boilingPoint Scandium
    (MeasureFn 3105.0 KelvinDegree))
Mid-level-ontology.kif 29506-29506
(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 27897-27900
(externalImage Scandium "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Sc%2C21.jpg") pictureList.kif 2343-2343
(externalImage Scandium "http://upload.wikimedia.org/wikipedia/commons/c/ ce/ Sc-TableImage.svg") pictureList.kif 1969-1969
(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 29505-29505
(names Scandium "Scandium") Mid-level-ontology.kif 27887-27887
(roomTempState Scandium Solid) Mid-level-ontology.kif 31736-31736
(subclass Scandium ElementalSubstance) Mid-level-ontology.kif 27886-27886

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


(conventionalShortName "Sc" Scandium) Mid-level-ontology.kif 27888-27888
(termFormat ChineseLanguage Scandium "钪") domainEnglishFormat.kif 51506-51506
(termFormat ChineseTraditionalLanguage Scandium "鈧") domainEnglishFormat.kif 51505-51505
(termFormat EnglishLanguage Scandium "scandium") domainEnglishFormat.kif 51504-51504

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


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


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