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 24753-24753 74 is an atomic number of tungsten
(boilingPoint Tungsten
    (MeasureFn 6200 KelvinDegree))
Mid-level-ontology.kif 25544-25544 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 24761-24764
(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 25543-25543 3680 Kelvin degree(s) is a melting point of tungsten
(names Tungsten "Tungsten") Mid-level-ontology.kif 24751-24751 "Tungsten" has name tungsten
(subclass Tungsten ElementalSubstance) Mid-level-ontology.kif 24750-24750 Tungsten is a subclass of elemental substance

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


(conventionalShortName "W" Tungsten) Mid-level-ontology.kif 24752-24752 Tungsten is a conventional short name of "W"
(termFormat ChineseLanguage Tungsten "钨") domainEnglishFormat.kif 59440-59440
(termFormat ChineseTraditionalLanguage Tungsten "鎢") domainEnglishFormat.kif 59439-59439
(termFormat EnglishLanguage Tungsten "tungsten") domainEnglishFormat.kif 59438-59438

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


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


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