Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Erbium
|  |
| appearance as argument number 1 |
|
|
| (subclass Erbium ElementalSubstance) | Mid-level-ontology.kif 31057-31057 | |
| (atomicNumber Erbium 68) | Mid-level-ontology.kif 31060-31060 | |
| (documentation Erbium EnglishLanguage "Soft silvery metallic element which belongs to the lanthanoids. Six natural isotopes that are stable. Twelve artificial isotopes are known. Used in nuclear technology as a neutron absorber. It is being investigated for other possible uses. Discovered by Carl G. Mosander in 1843.") | Mid-level-ontology.kif 31068-31072 | |
| (meltingPoint Erbium (MeasureFn 1795.0 KelvinDegree)) |
Mid-level-ontology.kif 31941-31941 | |
| (boilingPoint Erbium (MeasureFn 2783.0 KelvinDegree)) |
Mid-level-ontology.kif 31942-31942 | |
| (roomTempState Erbium Solid) | Mid-level-ontology.kif 33990-33990 | |
| (externalImage Erbium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 78/ Er%2C68.jpg/ 125px_Er%2C68.jpg") | pictureList.kif 1102-1102 | |
| (externalImage Erbium "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Er_TableImage.png") | pictureList.kif 1749-1749 | |
| (externalImage Erbium "http://upload.wikimedia.org/wikipedia/commons/7/78/ Er%2C68.jpg") | pictureList.kif 2162-2162 |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ATOM Erbium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 167.26 Amu))) |
Mid-level-ontology.kif 31062-31066 |
|