Tungsten(鎢) |
appearance as argument number 1 |
(atomicNumber Tungsten 74) | Mid-level-ontology.kif 28537-28537 | 74 是 鎢 的 atomic 數字 |
(boilingPoint Tungsten (MeasureFn 6200.0 KelvinDegree)) |
Mid-level-ontology.kif 29328-29328 | 測量 6200.0 and 凱文度 是 鎢 的 boiling 點 |
(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 28545-28548 | |
(externalImage Tungsten "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ W-TableImage.png") | pictureList.kif 2046-2046 | |
(externalImage Tungsten "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ TungstenMetalUSGOV.jpg") | pictureList.kif 2416-2416 | |
(externalImage Tungsten "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4c/ TungstenMetalUSGOV.jpg/ 125px-TungstenMetalUSGOV.jpg") | pictureList.kif 1275-1275 | |
(meltingPoint Tungsten (MeasureFn 3680.0 KelvinDegree)) |
Mid-level-ontology.kif 29327-29327 | 測量 3680.0 and 凱文度 是 鎢 的 melting 點 |
(names Tungsten "Tungsten") | Mid-level-ontology.kif 28535-28535 | 名 鎢 and "Tungsten" |
(roomTempState Tungsten Solid) | Mid-level-ontology.kif 31524-31524 | roomTempState 鎢 and 固體 |
(subclass Tungsten ElementalSubstance) | Mid-level-ontology.kif 28534-28534 | 子類 鎢 and ElementalSubstance |
appearance as argument number 2 |
(conventionalShortName "W" Tungsten) | Mid-level-ontology.kif 28536-28536 | 鎢 是 "W" 的 conventional 簡稱 |
(termFormat ChineseLanguage Tungsten "钨") | domainEnglishFormat.kif 59474-59474 | |
(termFormat ChineseTraditionalLanguage Tungsten "鎢") | domainEnglishFormat.kif 59473-59473 | |
(termFormat EnglishLanguage Tungsten "tungsten") | domainEnglishFormat.kif 59472-59472 |
antecedent |
(=> (and (instance ?ATOM Tungsten) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 183.85 Amu))) |
Mid-level-ontology.kif 28539-28543 |