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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Terbium
Terbium

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


(atomicNumber Terbium 65) Mid-level-ontology.kif 30051-30051
(boilingPoint Terbium
    (MeasureFn 3314.0 KelvinDegree))
Mid-level-ontology.kif 30988-30988
(documentation Terbium EnglishLanguage "Silvery metallic element belonging to the lanthanoids. Tb-159 is the only stable isotope, there are seventeen artificial isotopes. Discovered by G.G. Mosander in 1843.") Mid-level-ontology.kif 30059-30061
(externalImage Terbium "http://upload.wikimedia.org/wikipedia/commons/4/ 44/ Tb%2C65.jpg") pictureList.kif 2395-2395
(externalImage Terbium "http://upload.wikimedia.org/wikipedia/commons/6/ 61/ Tb_TableImage.png") pictureList.kif 2024-2024
(externalImage Terbium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 44/ Tb%2C65.jpg/ 125px_Tb%2C65.jpg") pictureList.kif 1266-1266
(meltingPoint Terbium
    (MeasureFn 1633.0 KelvinDegree))
Mid-level-ontology.kif 30987-30987
(names Terbium "Terbium") Mid-level-ontology.kif 30049-30049
(roomTempState Terbium Solid) Mid-level-ontology.kif 33219-33219
(subclass Terbium ElementalSubstance) Mid-level-ontology.kif 30048-30048

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


(conventionalShortName "Tb" Terbium) Mid-level-ontology.kif 30050-30050
(termFormat ChineseLanguage Terbium "铽") domainEnglishFormat.kif 57553-57553
(termFormat ChineseTraditionalLanguage Terbium "铽") domainEnglishFormat.kif 57552-57552
(termFormat EnglishLanguage Terbium "terbium") domainEnglishFormat.kif 57551-57551

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


(=>
    (and
        (instance ?ATOM Terbium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 158.924 Amu)))
Mid-level-ontology.kif 30053-30057


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