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 28407-28407 64 是 atomic 数字
(boilingPoint Gadolinium
    (MeasureFn 3506.0 KelvinDegree))
Mid-level-ontology.kif 29359-29359 3506.0 凯文度boiling
(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 28415-28419
(externalImage Gadolinium "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Gd-TableImage.png") pictureList.kif 1769-1769
(externalImage Gadolinium "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Gd%2C64.jpg") pictureList.kif 2177-2177
(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 29358-29358 1584.0 凯文度melting
(names Gadolinium "Gadolinium") Mid-level-ontology.kif 28405-28405 "Gadolinium" 的名 是
(roomTempState Gadolinium Solid) Mid-level-ontology.kif 31546-31546 roomTempState and 固体
(subclass Gadolinium ElementalSubstance) Mid-level-ontology.kif 28404-28404 元素物质subclass

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


(conventionalShortName "Gd" Gadolinium) Mid-level-ontology.kif 28406-28406 是 "Gd" 的 conventional 简称
(termFormat ChineseLanguage Gadolinium "钆") domainEnglishFormat.kif 25322-25322
(termFormat ChineseTraditionalLanguage Gadolinium "钆") domainEnglishFormat.kif 25321-25321
(termFormat EnglishLanguage Gadolinium "gadolinium") domainEnglishFormat.kif 25320-25320

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


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


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