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 26838-26838 74 is an atomic number of tungsten
(boilingPoint Tungsten
    (MeasureFn 6200 KelvinDegree))
Mid-level-ontology.kif 27592-27592 6200 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 26845-26848
(externalImage Tungsten "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ W-TableImage.png") pictureList.kif 2047-2047
(externalImage Tungsten "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ TungstenMetalUSGOV.jpg") pictureList.kif 2417-2417
(externalImage Tungsten "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4c/ TungstenMetalUSGOV.jpg/ 125px-TungstenMetalUSGOV.jpg") pictureList.kif 1276-1276
(meltingPoint Tungsten
    (MeasureFn 3680 KelvinDegree))
Mid-level-ontology.kif 27591-27591 3680 Kelvin degree(s) is a melting point of tungsten
(names Tungsten "Tungsten") Mid-level-ontology.kif 26836-26836 "Tungsten" has name tungsten
(subclass Tungsten ElementalSubstance) Mid-level-ontology.kif 26835-26835 Tungsten is a subclass of elemental substance

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


(conventionalShortName "W" Tungsten) Mid-level-ontology.kif 26837-26837 Tungsten is a conventional short name of "W"
(termFormat ChineseLanguage Tungsten "钨") domainEnglishFormat.kif 59458-59458
(termFormat ChineseTraditionalLanguage Tungsten "鎢") domainEnglishFormat.kif 59457-59457
(termFormat EnglishLanguage Tungsten "tungsten") domainEnglishFormat.kif 59456-59456

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Tungsten)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 183.85 Amu)))
Mid-level-ontology.kif 26839-26843


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