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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Bismuth
Bismuth

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


(atomicNumber Bismuth 83) Mid-level-ontology.kif 30629-30629
(boilingPoint Bismuth
    (MeasureFn 1833.0 KelvinDegree))
Mid-level-ontology.kif 31267-31267
(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 30637-30642
(externalImage Bismuth "http://upload.wikimedia.org/wikipedia/commons/5/ 56/ Bi_TableImage.png") pictureList.kif 1660-1660
(externalImage Bismuth "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Bismuth_crystal_macro.jpg") pictureList.kif 2113-2113
(externalImage Bismuth "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cc/ Bismuth_crystal_macro.jpg/ 125px_Bismuth_crystal_macro.jpg") pictureList.kif 1048-1048
(meltingPoint Bismuth
    (MeasureFn 544.5 KelvinDegree))
Mid-level-ontology.kif 31266-31266
(names Bismuth "Bismuth") Mid-level-ontology.kif 30627-30627
(roomTempState Bismuth Solid) Mid-level-ontology.kif 33480-33480
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 30626-30626

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


(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 30628-30628
(termFormat ChineseLanguage Bismuth "铋") domainEnglishFormat.kif 11222-11222
(termFormat ChineseTraditionalLanguage Bismuth "鉍") domainEnglishFormat.kif 11221-11221
(termFormat EnglishLanguage Bismuth "bismuth") domainEnglishFormat.kif 11220-11220

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


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


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