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 30145-30145
(boilingPoint Ytterbium
    (MeasureFn 1466.0 KelvinDegree))
Mid-level-ontology.kif 30998-30998
(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 30153-30155
(externalImage Ytterbium "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Yb_TableImage.png") pictureList.kif 2066-2066
(externalImage Ytterbium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 97/ Yb%2C70.jpg") pictureList.kif 2428-2428
(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 30997-30997
(names Ytterbium "Ytterbium") Mid-level-ontology.kif 30143-30143
(roomTempState Ytterbium Solid) Mid-level-ontology.kif 33224-33224
(subclass Ytterbium ElementalSubstance) Mid-level-ontology.kif 30142-30142

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


(conventionalShortName "Yb" Ytterbium) Mid-level-ontology.kif 30144-30144
(termFormat ChineseLanguage Ytterbium "镱") domainEnglishFormat.kif 63954-63954
(termFormat ChineseTraditionalLanguage Ytterbium "鐿") domainEnglishFormat.kif 63953-63953
(termFormat EnglishLanguage Ytterbium "ytterbium") domainEnglishFormat.kif 63952-63952

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


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


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