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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ytterbium

Sigma KEE - Ytterbium
Ytterbium

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


(atomicNumber Ytterbium 70) Mid-level-ontology.kif 28467-28467
(boilingPoint Ytterbium
    (MeasureFn 1466.0 KelvinDegree))
Mid-level-ontology.kif 29320-29320
(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 28475-28477
(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 29319-29319
(names Ytterbium "Ytterbium") Mid-level-ontology.kif 28465-28465
(roomTempState Ytterbium Solid) Mid-level-ontology.kif 31520-31520
(subclass Ytterbium ElementalSubstance) Mid-level-ontology.kif 28464-28464

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


(conventionalShortName "Yb" Ytterbium) Mid-level-ontology.kif 28466-28466
(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 28469-28473


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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