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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(atomicNumber Bismuth 83) Mid-level-ontology.kif 28992-28992 83 is an atomic number of bismuth
(boilingPoint Bismuth
    (MeasureFn 1833.0 KelvinDegree))
Mid-level-ontology.kif 29630-29630 1833.0 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 29000-29005 1833.0 Kelvin degree(s) is a boiling point of bismuth
(externalImage Bismuth "http://upload.wikimedia.org/wikipedia/commons/5/ 56/ Bi-TableImage.png") pictureList.kif 1661-1661 1833.0 Kelvin degree(s) is a boiling point of bismuth
(externalImage Bismuth "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Bismuth_crystal_macro.jpg") pictureList.kif 2114-2114 1833.0 Kelvin degree(s) is a boiling point of bismuth
(externalImage Bismuth "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cc/ Bismuth_crystal_macro.jpg/ 125px-Bismuth_crystal_macro.jpg") pictureList.kif 1048-1048 1833.0 Kelvin degree(s) is a boiling point of bismuth
(meltingPoint Bismuth
    (MeasureFn 544.5 KelvinDegree))
Mid-level-ontology.kif 29629-29629 544.5 Kelvin degree(s) is a melting point of bismuth
(names Bismuth "Bismuth") Mid-level-ontology.kif 28990-28990 "Bismuth" has name bismuth
(roomTempState Bismuth Solid) Mid-level-ontology.kif 31798-31798 roomTempState bismuth and solid
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 28989-28989 Bismuth is a subclass of elemental substance

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


(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 28991-28991 Bismuth is a conventional short name of "Bi"
(termFormat ChineseLanguage Bismuth "铋") domainEnglishFormat.kif 11229-11229 Bismuth is a conventional short name of "Bi"
(termFormat ChineseTraditionalLanguage Bismuth "鉍") domainEnglishFormat.kif 11228-11228 Bismuth is a conventional short name of "Bi"
(termFormat EnglishLanguage Bismuth "bismuth") domainEnglishFormat.kif 11227-11227 Bismuth is a conventional short name of "Bi"

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


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


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