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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bismuth

Sigma KEE - Bismuth
Bismuth(bismuth)
Bi, atomic_number_83, bismuth

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


(atomicNumber Bismuth 83) Mid-level-ontology.kif 26927-26927 83 is an atomic number of bismuth
(boilingPoint Bismuth
    (MeasureFn 1833 KelvinDegree))
Mid-level-ontology.kif 27537-27537 1833 Kelvin degree(s) is a boiling point of bismuth
(documentation Bismuth EnglishLanguage "White crystalline metal with a pink tinge, belongs to group 15. Most diamagnetic of all metals and has the lowest thermal conductivity of all the elements except mercury. Lead-free bismuth compounds are used in cosmetics and medical procedures. Burns in the air and produces a blue flame. In 1753, C.G. Junine first demonstrated that it was different from lead.") Mid-level-ontology.kif 26934-26939
(externalImage Bismuth "http://upload.wikimedia.org/wikipedia/commons/5/ 56/ Bi-TableImage.png") pictureList.kif 1662-1662
(externalImage Bismuth "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Bismuth_crystal_macro.jpg") pictureList.kif 2115-2115
(externalImage Bismuth "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cc/ Bismuth_crystal_macro.jpg/ 125px-Bismuth_crystal_macro.jpg") pictureList.kif 1049-1049
(meltingPoint Bismuth
    (MeasureFn 544.5 KelvinDegree))
Mid-level-ontology.kif 27536-27536 544.5 Kelvin degree(s) is a melting point of bismuth
(names Bismuth "Bismuth") Mid-level-ontology.kif 26925-26925 "Bismuth" has name bismuth
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 26924-26924 Bismuth is a subclass of elemental substance

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


(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 26926-26926 Bismuth is a conventional short name of "Bi"
(termFormat ChineseLanguage Bismuth "铋") domainEnglishFormat.kif 11159-11159
(termFormat ChineseTraditionalLanguage Bismuth "鉍") domainEnglishFormat.kif 11158-11158
(termFormat EnglishLanguage Bismuth "bismuth") domainEnglishFormat.kif 11157-11157

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


(=>
    (and
        (instance ?ATOM Bismuth)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 208.980 Amu)))
Mid-level-ontology.kif 26928-26932


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