Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Vanadium
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Vanadium ElementalSubstance) | Mid-level-ontology.kif 30260-30260 | Vanadium is a subclass of elemental substance |
| (atomicNumber Vanadium 23) | Mid-level-ontology.kif 30263-30263 | 23 is an atomic number of vanadium |
| (documentation Vanadium EnglishLanguage "Soft and ductile, bright white metal. Good resistance to corrosion by alkalis, sulphuric and hydrochloric acid. It oxidizes readily about 933K. There are two naturally occurring isotopes of vanadium, and 5 radioisotopes, V-49 having the longest half-life at 337 days. Vanadium has nuclear applications, the foil is used in cladding titanium to steel, and vanadium-gallium tape is used to produce a superconductive magnet. Originally discovered by Andres Manuel del Rio of Mexico City in 1801. His discovery went unheeded, however, and in 1820, Nils Gabriel Sefstron of Sweden rediscovered it. Metallic vanadium was isolated by Henry Enfield Roscoe in 1867. The name vanadium comes from {Vanadis}, a goddess of Scandinavian mythology. Silvery-white metallic transition element. Vanadium is essential to {ascidian}s. Rats and chickens are also known to require it. Metal powder is a fire hazard, and vanadium compounds should be considered highly toxic. May cause lung cancer if inhaled.") | Mid-level-ontology.kif 30271-30285 | 23 is an atomic number of vanadium |
| (meltingPoint Vanadium (MeasureFn 2163.0 KelvinDegree)) |
Mid-level-ontology.kif 31851-31851 | 2163.0 Kelvin degree(s) is a melting point of vanadium |
| (boilingPoint Vanadium (MeasureFn 3653.0 KelvinDegree)) |
Mid-level-ontology.kif 31852-31852 | 3653.0 Kelvin degree(s) is a boiling point of vanadium |
| (roomTempState Vanadium Solid) | Mid-level-ontology.kif 33945-33945 | room temperature state vanadium and solid |
| (externalImage Vanadium "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d3/ V%2C23.jpg/ 125px_V%2C23.jpg") | pictureList.kif 1284-1284 | room temperature state vanadium and solid |
| (externalImage Vanadium "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ V_TableImage.png") | pictureList.kif 2053-2053 | room temperature state vanadium and solid |
| (externalImage Vanadium "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ V%2C23.jpg") | pictureList.kif 2419-2419 | room temperature state vanadium and solid |
| appearance as argument number 2 |
|
|
| (names "Vanadium" Vanadium) | Mid-level-ontology.kif 30261-30261 | Vanadium has name "Vanadium" |
| (conventionalShortName "V" Vanadium) | Mid-level-ontology.kif 30262-30262 | Vanadium is a conventional short name of "V" |
| (termFormat EnglishLanguage Vanadium "vanadium") | domainEnglishFormat.kif 61221-61221 | Vanadium is a conventional short name of "V" |
| (termFormat ChineseTraditionalLanguage Vanadium "釩") | domainEnglishFormat.kif 61222-61222 | Vanadium is a conventional short name of "V" |
| (termFormat ChineseLanguage Vanadium "钒") | domainEnglishFormat.kif 61223-61223 | Vanadium is a conventional short name of "V" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Vanadium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 50.9415 Amu))) |
Mid-level-ontology.kif 30265-30269 | If X is an instance of vanadium and X is an instance of atom, then the measure of X is 50.9415 amu(s) |
|
