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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Terbium
Terbium(terbium)
Tb, atomic_number_65, terbium

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


(atomicNumber Terbium 65) Mid-level-ontology.kif 28373-28373 65 is an atomic number of terbium
(boilingPoint Terbium
    (MeasureFn 3314.0 KelvinDegree))
Mid-level-ontology.kif 29310-29310 3314.0 Kelvin degree(s) is a boiling point of terbium
(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 28381-28383
(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 29309-29309 1633.0 Kelvin degree(s) is a melting point of terbium
(names Terbium "Terbium") Mid-level-ontology.kif 28371-28371 "Terbium" has name terbium
(roomTempState Terbium Solid) Mid-level-ontology.kif 31515-31515 roomTempState terbium and solid
(subclass Terbium ElementalSubstance) Mid-level-ontology.kif 28370-28370 Terbium is a subclass of elemental substance

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


(conventionalShortName "Tb" Terbium) Mid-level-ontology.kif 28372-28372 Terbium is a conventional short name of "Tb"
(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 28375-28379


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