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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bismuth

Sigma KEE - Bismuth
Bismuth

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


(atomicNumber Bismuth 83) Mid-level-ontology.kif 28708-28708 atomicNumber Bismuth and 83
(boilingPoint Bismuth
    (MeasureFn 1833.0 KelvinDegree))
Mid-level-ontology.kif 29346-29346 boilingPoint Bismuth and 1833.0 KelvinDegree(s)
(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 28716-28721
(externalImage Bismuth "http://upload.wikimedia.org/wikipedia/commons/5/ 56/ Bi-TableImage.png") pictureList.kif 1661-1661
(externalImage Bismuth "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Bismuth_crystal_macro.jpg") pictureList.kif 2114-2114
(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 29345-29345 meltingPoint Bismuth and 544.5 KelvinDegree(s)
(names Bismuth "Bismuth") Mid-level-ontology.kif 28706-28706 names Bismuth and "Bismuth"
(roomTempState Bismuth Solid) Mid-level-ontology.kif 31533-31533 roomTempState Bismuth and Solid
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 28705-28705 Bismuth ist eine teilkategorie von ElementalSubstance

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


(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 28707-28707 conventionalShortName "Bi" and Bismuth
(termFormat ChineseLanguage Bismuth "铋") domainEnglishFormat.kif 11213-11213
(termFormat ChineseTraditionalLanguage Bismuth "鉍") domainEnglishFormat.kif 11212-11212
(termFormat EnglishLanguage Bismuth "bismuth") domainEnglishFormat.kif 11211-11211

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


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


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