| Tungsten(tungsten)
| | W, atomic_number_74, tungsten, wolfram |
| appearance as argument number 1 |
|
|
| (atomicNumber Tungsten 74) | Mid-level-ontology.kif 30456-30456 | 74 is an atomic number of tungsten |
| (boilingPoint Tungsten (MeasureFn 6200.0 KelvinDegree)) |
Mid-level-ontology.kif 31247-31247 | 6200.0 Kelvin degree(s) is a boiling point of tungsten |
| (documentation Tungsten EnglishLanguage "White or grey metallic transition element, formerly called {wolfram}. Forms a protective oxide in air and can be oxidized at high temperature. First isolated by Jose and Fausto de Elhuyer in 1783.") | Mid-level-ontology.kif 30464-30467 | 6200.0 Kelvin degree(s) is a boiling point of tungsten |
| (externalImage Tungsten "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ W_TableImage.png") | pictureList.kif 2045-2045 | 6200.0 Kelvin degree(s) is a boiling point of tungsten |
| (externalImage Tungsten "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ TungstenMetalUSGOV.jpg") | pictureList.kif 2415-2415 | 6200.0 Kelvin degree(s) is a boiling point of tungsten |
| (externalImage Tungsten "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4c/ TungstenMetalUSGOV.jpg/ 125px_TungstenMetalUSGOV.jpg") | pictureList.kif 1275-1275 | 6200.0 Kelvin degree(s) is a boiling point of tungsten |
| (meltingPoint Tungsten (MeasureFn 3680.0 KelvinDegree)) |
Mid-level-ontology.kif 31246-31246 | 3680.0 Kelvin degree(s) is a melting point of tungsten |
| (names Tungsten "Tungsten") | Mid-level-ontology.kif 30454-30454 | "Tungsten" has &ames$"name" Tungsten |
| (roomTempState Tungsten Solid) | Mid-level-ontology.kif 33469-33469 | room temperature state tungsten and solid |
| (subclass Tungsten ElementalSubstance) | Mid-level-ontology.kif 30453-30453 | Tungsten is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "W" Tungsten) | Mid-level-ontology.kif 30455-30455 | Tungsten is a conventional short name of "W" |
| (termFormat ChineseLanguage Tungsten "钨") | domainEnglishFormat.kif 59458-59458 | Tungsten is a conventional short name of "W" |
| (termFormat ChineseTraditionalLanguage Tungsten "鎢") | domainEnglishFormat.kif 59457-59457 | Tungsten is a conventional short name of "W" |
| (termFormat EnglishLanguage Tungsten "tungsten") | domainEnglishFormat.kif 59456-59456 | Tungsten is a conventional short name of "W" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Tungsten) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 183.85 Amu))) |
Mid-level-ontology.kif 30458-30462 |
|
|
|
|