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 29652-29652 74 is an atomic number of tungsten
(boilingPoint Tungsten
    (MeasureFn 6200.0 KelvinDegree))		 Mid-level-ontology.kif 30443-30443 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 29660-29663 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 30442-30442 3680.0 Kelvin degree(s) is a melting point of tungsten
(names Tungsten "Tungsten") Mid-level-ontology.kif 29650-29650 "Tungsten" has name tungsten
(roomTempState Tungsten Solid) Mid-level-ontology.kif 32647-32647 roomTempState tungsten and solid
(subclass Tungsten ElementalSubstance) Mid-level-ontology.kif 29649-29649 Tungsten is a subclass of elemental substance

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


(conventionalShortName "W" Tungsten) Mid-level-ontology.kif 29651-29651 Tungsten is a conventional short name of "W"
(termFormat ChineseLanguage Tungsten "钨") domainEnglishFormat.kif 59487-59487 Tungsten is a conventional short name of "W"
(termFormat ChineseTraditionalLanguage Tungsten "鎢") domainEnglishFormat.kif 59486-59486 Tungsten is a conventional short name of "W"
(termFormat EnglishLanguage Tungsten "tungsten") domainEnglishFormat.kif 59485-59485 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 29654-29658


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