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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Neon
Neon

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


(atomicNumber Neon 10) Mid-level-ontology.kif 29102-29102
(boilingPoint Neon
    (MeasureFn 27.1 KelvinDegree))
Mid-level-ontology.kif 30878-30878
(documentation Neon EnglishLanguage "Colourless gaseous element of group 18 on the periodic table (noble gases). Neon occurs in the atmosphere, and comprises 0.0018 percent of the volume of the atmosphere. It has a distinct reddish glow when used in discharge tubes and neon based lamps. It forms almost no chemical compounds. Neon was discovered in 1898 by Sir William Ramsey and M.W. Travers. ") Mid-level-ontology.kif 29110-29115
(externalImage Neon "http://upload.wikimedia.org/wikipedia/commons/8/81/ Ne_TableImage.png") pictureList.kif 1863-1863
(externalImage Neon "http://upload.wikimedia.org/wikipedia/commons/8/88/ NeTube.jpg") pictureList.kif 2264-2264
(meltingPoint Neon
    (MeasureFn 24.48 KelvinDegree))
Mid-level-ontology.kif 30877-30877
(names Neon "Neon") Mid-level-ontology.kif 29100-29100
(roomTempState Neon Gas) Mid-level-ontology.kif 33164-33164
(subclass Neon ElementalSubstance) Mid-level-ontology.kif 29099-29099

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


(conventionalShortName "Ne" Neon) Mid-level-ontology.kif 29101-29101
(termFormat ChineseLanguage Neon "氖") domainEnglishFormat.kif 40149-40149
(termFormat ChineseTraditionalLanguage Neon "氖") domainEnglishFormat.kif 40148-40148
(termFormat EnglishLanguage Neon "neon") domainEnglishFormat.kif 40147-40147

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


(=>
    (and
        (instance ?ATOM Neon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 20.183 Amu)))
Mid-level-ontology.kif 29104-29108


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