| 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 30145-30145 | 70 is an atomic number of ytterbium |
| (boilingPoint Ytterbium (MeasureFn 1466.0 KelvinDegree)) |
Mid-level-ontology.kif 30998-30998 | 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 30153-30155 | 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 30997-30997 | 1097.0 Kelvin degree(s) is a melting point of ytterbium |
| (names Ytterbium "Ytterbium") | Mid-level-ontology.kif 30143-30143 | "Ytterbium" has name ytterbium |
| (roomTempState Ytterbium Solid) | Mid-level-ontology.kif 33224-33224 | room temperature state ytterbium and solid |
| (subclass Ytterbium ElementalSubstance) | Mid-level-ontology.kif 30142-30142 | Ytterbium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Yb" Ytterbium) | Mid-level-ontology.kif 30144-30144 | 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 30147-30151 |
|
|
|
|