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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Gadolinium
Gadolinium

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


(atomicNumber Gadolinium 64) Mid-level-ontology.kif 30034-30034
(boilingPoint Gadolinium
    (MeasureFn 3506.0 KelvinDegree))
Mid-level-ontology.kif 30986-30986
(documentation Gadolinium EnglishLanguage "Soft silvery metallic element belonging to the lanthanoids. Seven natural, stable isotopes are known in addition to eleven artificial isotopes. Gd-155 and Gd-157 and the best neutron absorbers of all elements. Gadolinium compounds are used in electronics. Discovered by J.C.G Marignac in 1880.") Mid-level-ontology.kif 30042-30046
(externalImage Gadolinium "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Gd_TableImage.png") pictureList.kif 1768-1768
(externalImage Gadolinium "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Gd%2C64.jpg") pictureList.kif 2176-2176
(externalImage Gadolinium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b7/ Gadolinium.jpg/ 200px_Gadolinium.jpg") pictureList.kif 1118-1118
(meltingPoint Gadolinium
    (MeasureFn 1584.0 KelvinDegree))
Mid-level-ontology.kif 30985-30985
(names Gadolinium "Gadolinium") Mid-level-ontology.kif 30032-30032
(roomTempState Gadolinium Solid) Mid-level-ontology.kif 33218-33218
(subclass Gadolinium ElementalSubstance) Mid-level-ontology.kif 30031-30031

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


(conventionalShortName "Gd" Gadolinium) Mid-level-ontology.kif 30033-30033
(termFormat ChineseLanguage Gadolinium "钆") domainEnglishFormat.kif 25350-25350
(termFormat ChineseTraditionalLanguage Gadolinium "钆") domainEnglishFormat.kif 25349-25349
(termFormat EnglishLanguage Gadolinium "gadolinium") domainEnglishFormat.kif 25348-25348

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


(=>
    (and
        (instance ?ATOM Gadolinium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 157.25 Amu)))
Mid-level-ontology.kif 30036-30040


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