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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Terbium

Sigma KEE - Terbium
Terbium

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


(atomicNumber Terbium 65) Mid-level-ontology.kif 28424-28424 atomicNumber Terbium and 65
(boilingPoint Terbium
    (MeasureFn 3314.0 KelvinDegree))
Mid-level-ontology.kif 29361-29361 boilingPoint Terbium and 3314.0 の KelvinDegree(s)
(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 28432-28434
(externalImage Terbium "http://upload.wikimedia.org/wikipedia/commons/4/ 44/ Tb%2C65.jpg") pictureList.kif 2396-2396
(externalImage Terbium "http://upload.wikimedia.org/wikipedia/commons/6/ 61/ Tb-TableImage.png") pictureList.kif 2025-2025
(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 29360-29360 meltingPoint Terbium and 1633.0 の KelvinDegree(s)
(names Terbium "Terbium") Mid-level-ontology.kif 28422-28422 "Terbium" は Terbiumname を 持って %n{ない}
(roomTempState Terbium Solid) Mid-level-ontology.kif 31547-31547 roomTempState Terbium and Solid
(subclass Terbium ElementalSubstance) Mid-level-ontology.kif 28421-28421 Terbium単体subclass では %n

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


(conventionalShortName "Tb" Terbium) Mid-level-ontology.kif 28423-28423 conventionalShortName "Tb" and Terbium
(termFormat ChineseLanguage Terbium "铽") domainEnglishFormat.kif 57520-57520
(termFormat ChineseTraditionalLanguage Terbium "铽") domainEnglishFormat.kif 57519-57519
(termFormat EnglishLanguage Terbium "terbium") domainEnglishFormat.kif 57518-57518

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


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


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