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 27605-27605 atomicNumber Scandium and 21
(boilingPoint Scandium
    (MeasureFn 3105.0 KelvinDegree))
Mid-level-ontology.kif 29222-29222 boilingPoint Scandium and 3105.0 の KelvinDegree(s)
(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 27613-27616
(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 29221-29221 meltingPoint Scandium and 1812.0 の KelvinDegree(s)
(names Scandium "Scandium") Mid-level-ontology.kif 27603-27603 "Scandium" は Scandiumname を 持って %n{ない}
(roomTempState Scandium Solid) Mid-level-ontology.kif 31471-31471 roomTempState Scandium and Solid
(subclass Scandium ElementalSubstance) Mid-level-ontology.kif 27602-27602 Scandium単体subclass では %n

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


(conventionalShortName "Sc" Scandium) Mid-level-ontology.kif 27604-27604 conventionalShortName "Sc" and Scandium
(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 27607-27611


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