| Bismuth(bismuth)
| | Bi, atomic_number_83, bismuth |
| appearance as argument number 1 |
|
|
| (atomicNumber Bismuth 83) | Mid-level-ontology.kif 29823-29823 | 83 is an atomic number of bismuth |
| (boilingPoint Bismuth (MeasureFn 1833.0 KelvinDegree)) |
Mid-level-ontology.kif 30461-30461 | 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 29831-29836 | 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 1660-1660 | 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 2113-2113 | 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 30460-30460 | 544.5 Kelvin degree(s) is a melting point of bismuth |
| (names Bismuth "Bismuth") | Mid-level-ontology.kif 29821-29821 | "Bismuth" has name bismuth |
| (roomTempState Bismuth Solid) | Mid-level-ontology.kif 32656-32656 | roomTempState bismuth and solid |
| (subclass Bismuth ElementalSubstance) | Mid-level-ontology.kif 29820-29820 | Bismuth is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Bi" Bismuth) | Mid-level-ontology.kif 29822-29822 | Bismuth is a conventional short name of "Bi" |
| (termFormat ChineseLanguage Bismuth "铋") | domainEnglishFormat.kif 11228-11228 | Bismuth is a conventional short name of "Bi" |
| (termFormat ChineseTraditionalLanguage Bismuth "鉍") | domainEnglishFormat.kif 11227-11227 | Bismuth is a conventional short name of "Bi" |
| (termFormat EnglishLanguage Bismuth "bismuth") | domainEnglishFormat.kif 11226-11226 | 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 29825-29829 |
|
|
|
|