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 28361-28361 65 是 atomic 數字
(boilingPoint Terbium
    (MeasureFn 3314.0 KelvinDegree))
Mid-level-ontology.kif 29298-29298 測量 3314.0 and 凱文度boiling
(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 28369-28371
(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 29297-29297 測量 1633.0 and 凱文度melting
(names Terbium "Terbium") Mid-level-ontology.kif 28359-28359 and "Terbium"
(roomTempState Terbium Solid) Mid-level-ontology.kif 31511-31511 roomTempState and 固體
(subclass Terbium ElementalSubstance) Mid-level-ontology.kif 28358-28358 子類 and ElementalSubstance

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


(conventionalShortName "Tb" Terbium) Mid-level-ontology.kif 28360-28360 是 "Tb" 的 conventional 簡稱
(termFormat ChineseLanguage Terbium "铽") domainEnglishFormat.kif 57518-57518
(termFormat ChineseTraditionalLanguage Terbium "铽") domainEnglishFormat.kif 57517-57517
(termFormat EnglishLanguage Terbium "terbium") domainEnglishFormat.kif 57516-57516

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


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


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