| Ytterbium(ytterbium)
| | YB, Yb, Ybit, YiB, atomic_number_70, yobibyte, yottabit, yottabyte, ytterbium |
| appearance as argument number 1 |
|
|
| (atomicNumber Ytterbium 70) | Mid-level-ontology.kif 28518-28518 | 70 is an atomic number of ytterbium |
| (boilingPoint Ytterbium (MeasureFn 1466.0 KelvinDegree)) |
Mid-level-ontology.kif 29371-29371 | 1466.0 Kelvin degree(s) is a boiling point of ytterbium |
| (documentation Ytterbium EnglishLanguage "Silvery metallic element of the lanthanoids. Seven natural isotopes and ten artificial isotopes are known. Used in certain steels. Discovered by J.D.G. Marignac in 1878.") | Mid-level-ontology.kif 28526-28528 | |
| (externalImage Ytterbium "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Yb-TableImage.png") | pictureList.kif 2067-2067 | |
| (externalImage Ytterbium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 97/ Yb%2C70.jpg") | pictureList.kif 2429-2429 | |
| (externalImage Ytterbium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 97/ Yb%2C70.jpg/ 125px-Yb%2C70.jpg") | pictureList.kif 1290-1290 | |
| (meltingPoint Ytterbium (MeasureFn 1097.0 KelvinDegree)) |
Mid-level-ontology.kif 29370-29370 | 1097.0 Kelvin degree(s) is a melting point of ytterbium |
| (names Ytterbium "Ytterbium") | Mid-level-ontology.kif 28516-28516 | "Ytterbium" has name ytterbium |
| (roomTempState Ytterbium Solid) | Mid-level-ontology.kif 31552-31552 | roomTempState ytterbium and solid |
| (subclass Ytterbium ElementalSubstance) | Mid-level-ontology.kif 28515-28515 | Ytterbium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Yb" Ytterbium) | Mid-level-ontology.kif 28517-28517 | Ytterbium is a conventional short name of "Yb" |
| (termFormat ChineseLanguage Ytterbium "镱") | domainEnglishFormat.kif 63933-63933 | |
| (termFormat ChineseTraditionalLanguage Ytterbium "鐿") | domainEnglishFormat.kif 63932-63932 | |
| (termFormat EnglishLanguage Ytterbium "ytterbium") | domainEnglishFormat.kif 63931-63931 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Ytterbium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 173.04 Amu))) |
Mid-level-ontology.kif 28520-28524 |
|
|
|
|