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 28751-28751
(boilingPoint Ytterbium
    (MeasureFn 1466.0 KelvinDegree))
Mid-level-ontology.kif 29604-29604
(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 28759-28761
(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 29603-29603
(names Ytterbium "Ytterbium") Mid-level-ontology.kif 28749-28749
(roomTempState Ytterbium Solid) Mid-level-ontology.kif 31785-31785
(subclass Ytterbium ElementalSubstance) Mid-level-ontology.kif 28748-28748

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


(conventionalShortName "Yb" Ytterbium) Mid-level-ontology.kif 28750-28750
(termFormat ChineseLanguage Ytterbium "镱") domainEnglishFormat.kif 63956-63956
(termFormat ChineseTraditionalLanguage Ytterbium "鐿") domainEnglishFormat.kif 63955-63955
(termFormat EnglishLanguage Ytterbium "ytterbium") domainEnglishFormat.kif 63954-63954

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


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


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