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 28640-28640
(boilingPoint Gadolinium
    (MeasureFn 3506.0 KelvinDegree))
Mid-level-ontology.kif 29592-29592
(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 28648-28652
(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 29591-29591
(names Gadolinium "Gadolinium") Mid-level-ontology.kif 28638-28638
(roomTempState Gadolinium Solid) Mid-level-ontology.kif 31779-31779
(subclass Gadolinium ElementalSubstance) Mid-level-ontology.kif 28637-28637

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


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

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


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


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