| 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 29582-29582 | 70 is an atomic number of ytterbium |
| (boilingPoint Ytterbium (MeasureFn 1466.0 KelvinDegree)) |
Mid-level-ontology.kif 30435-30435 | 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 29590-29592 | 1466.0 Kelvin degree(s) is a boiling point of ytterbium |
| (externalImage Ytterbium "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Yb_TableImage.png") | pictureList.kif 2066-2066 | 1466.0 Kelvin degree(s) is a boiling point of ytterbium |
| (externalImage Ytterbium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 97/ Yb%2C70.jpg") | pictureList.kif 2428-2428 | 1466.0 Kelvin degree(s) is a boiling point of ytterbium |
| (externalImage Ytterbium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 97/ Yb%2C70.jpg/ 125px_Yb%2C70.jpg") | pictureList.kif 1290-1290 | 1466.0 Kelvin degree(s) is a boiling point of ytterbium |
| (meltingPoint Ytterbium (MeasureFn 1097.0 KelvinDegree)) |
Mid-level-ontology.kif 30434-30434 | 1097.0 Kelvin degree(s) is a melting point of ytterbium |
| (names Ytterbium "Ytterbium") | Mid-level-ontology.kif 29580-29580 | "Ytterbium" has name ytterbium |
| (roomTempState Ytterbium Solid) | Mid-level-ontology.kif 32643-32643 | roomTempState ytterbium and solid |
| (subclass Ytterbium ElementalSubstance) | Mid-level-ontology.kif 29579-29579 | Ytterbium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Yb" Ytterbium) | Mid-level-ontology.kif 29581-29581 | Ytterbium is a conventional short name of "Yb" |
| (termFormat ChineseLanguage Ytterbium "镱") | domainEnglishFormat.kif 63954-63954 | Ytterbium is a conventional short name of "Yb" |
| (termFormat ChineseTraditionalLanguage Ytterbium "鐿") | domainEnglishFormat.kif 63953-63953 | Ytterbium is a conventional short name of "Yb" |
| (termFormat EnglishLanguage Ytterbium "ytterbium") | domainEnglishFormat.kif 63952-63952 | Ytterbium is a conventional short name of "Yb" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Ytterbium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 173.04 Amu))) |
Mid-level-ontology.kif 29584-29588 |
|
|
|
|