| 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 28751-28751 | 70 is an atomic number of ytterbium |
| (boilingPoint Ytterbium (MeasureFn 1466.0 KelvinDegree)) |
Mid-level-ontology.kif 29604-29604 | 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 28759-28761 | 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 2067-2067 | 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 2429-2429 | 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 29603-29603 | 1097.0 Kelvin degree(s) is a melting point of ytterbium |
| (names Ytterbium "Ytterbium") | Mid-level-ontology.kif 28749-28749 | "Ytterbium" has name ytterbium |
| (roomTempState Ytterbium Solid) | Mid-level-ontology.kif 31785-31785 | roomTempState ytterbium and solid |
| (subclass Ytterbium ElementalSubstance) | Mid-level-ontology.kif 28748-28748 | Ytterbium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Yb" Ytterbium) | Mid-level-ontology.kif 28750-28750 | Ytterbium is a conventional short name of "Yb" |
| (termFormat ChineseLanguage Ytterbium "镱") | domainEnglishFormat.kif 63979-63979 | Ytterbium is a conventional short name of "Yb" |
| (termFormat ChineseTraditionalLanguage Ytterbium "鐿") | domainEnglishFormat.kif 63978-63978 | Ytterbium is a conventional short name of "Yb" |
| (termFormat EnglishLanguage Ytterbium "ytterbium") | domainEnglishFormat.kif 63977-63977 | 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 28753-28757 |
|
|
|
|