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 28455-28455
(boilingPoint Ytterbium
    (MeasureFn 1466.0 KelvinDegree))
Mid-level-ontology.kif 29308-29308
(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 28463-28465
(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 29307-29307
(names Ytterbium "Ytterbium") Mid-level-ontology.kif 28453-28453
(roomTempState Ytterbium Solid) Mid-level-ontology.kif 31516-31516
(subclass Ytterbium ElementalSubstance) Mid-level-ontology.kif 28452-28452

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


(conventionalShortName "Yb" Ytterbium) Mid-level-ontology.kif 28454-28454
(termFormat ChineseLanguage Ytterbium "镱") domainEnglishFormat.kif 63931-63931
(termFormat ChineseTraditionalLanguage Ytterbium "鐿") domainEnglishFormat.kif 63930-63930
(termFormat EnglishLanguage Ytterbium "ytterbium") domainEnglishFormat.kif 63929-63929

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


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


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