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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ytterbium
Ytterbium

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


(atomicNumber Ytterbium 70) Mid-level-ontology.kif 28518-28518
(boilingPoint Ytterbium
    (MeasureFn 1466.0 KelvinDegree))
Mid-level-ontology.kif 29371-29371
(documentation Ytterbium EnglishLanguage "Silvery metallic element of the lanthanoids. Seven natural isotopes and ten artificial isotopes are known. Used in certain steels. Discovered by J.D.G. Marignac in 1878.") Mid-level-ontology.kif 28526-28528
(externalImage Ytterbium "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Yb-TableImage.png") pictureList.kif 2067-2067
(externalImage Ytterbium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 97/ Yb%2C70.jpg") pictureList.kif 2429-2429
(externalImage Ytterbium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 97/ Yb%2C70.jpg/ 125px-Yb%2C70.jpg") pictureList.kif 1290-1290
(meltingPoint Ytterbium
    (MeasureFn 1097.0 KelvinDegree))
Mid-level-ontology.kif 29370-29370
(names Ytterbium "Ytterbium") Mid-level-ontology.kif 28516-28516
(roomTempState Ytterbium Solid) Mid-level-ontology.kif 31552-31552
(subclass Ytterbium ElementalSubstance) Mid-level-ontology.kif 28515-28515

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


(conventionalShortName "Yb" Ytterbium) Mid-level-ontology.kif 28517-28517
(termFormat ChineseLanguage Ytterbium "镱") domainEnglishFormat.kif 63933-63933
(termFormat ChineseTraditionalLanguage Ytterbium "鐿") domainEnglishFormat.kif 63932-63932
(termFormat EnglishLanguage Ytterbium "ytterbium") domainEnglishFormat.kif 63931-63931

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


(=>
    (and
        (instance ?ATOM Ytterbium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 173.04 Amu)))
Mid-level-ontology.kif 28520-28524


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