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 28537-28537
(boilingPoint Tungsten
    (MeasureFn 6200.0 KelvinDegree))
Mid-level-ontology.kif 29328-29328
(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
(names Tungsten "Tungsten") Mid-level-ontology.kif 28535-28535
(roomTempState Tungsten Solid) Mid-level-ontology.kif 31524-31524
(subclass Tungsten ElementalSubstance) Mid-level-ontology.kif 28534-28534

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


(conventionalShortName "W" Tungsten) Mid-level-ontology.kif 28536-28536
(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