Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tungsten
Tungsten(tungsten)
W, atomic_number_74, tungsten, wolfram

appearance as argument number 1
-------------------------


(atomicNumber Tungsten 74) Mid-level-ontology.kif 28537-28537 74 is an atomic number of tungsten
(boilingPoint Tungsten
    (MeasureFn 6200.0 KelvinDegree))
Mid-level-ontology.kif 29328-29328 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 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 Kelvin degree(s) is a melting point of tungsten
(names Tungsten "Tungsten") Mid-level-ontology.kif 28535-28535 "Tungsten" has name tungsten
(roomTempState Tungsten Solid) Mid-level-ontology.kif 31524-31524 roomTempState tungsten and solid
(subclass Tungsten ElementalSubstance) Mid-level-ontology.kif 28534-28534 Tungsten is a subclass of elemental substance

appearance as argument number 2
-------------------------


(conventionalShortName "W" Tungsten) Mid-level-ontology.kif 28536-28536 Tungsten is a conventional short name of "W"
(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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners