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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tungsten
Tungsten

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


(atomicNumber Tungsten 74) Mid-level-ontology.kif 28853-28853
(boilingPoint Tungsten
    (MeasureFn 6200.0 KelvinDegree))
Mid-level-ontology.kif 29644-29644
(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 28861-28864
(externalImage Tungsten "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ W-TableImage.png") pictureList.kif 2045-2045
(externalImage Tungsten "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ TungstenMetalUSGOV.jpg") pictureList.kif 2415-2415
(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 29643-29643
(names Tungsten "Tungsten") Mid-level-ontology.kif 28851-28851
(roomTempState Tungsten Solid) Mid-level-ontology.kif 31821-31821
(subclass Tungsten ElementalSubstance) Mid-level-ontology.kif 28850-28850

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


(conventionalShortName "W" Tungsten) Mid-level-ontology.kif 28852-28852
(termFormat ChineseLanguage Tungsten "钨") domainEnglishFormat.kif 59489-59489
(termFormat ChineseTraditionalLanguage Tungsten "鎢") domainEnglishFormat.kif 59488-59488
(termFormat EnglishLanguage Tungsten "tungsten") domainEnglishFormat.kif 59487-59487

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


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


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