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 27708-27708
(boilingPoint Neon
    (MeasureFn 27.1 KelvinDegree))
Mid-level-ontology.kif 29484-29484
(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 27716-27721
(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 29483-29483
(names Neon "Neon") Mid-level-ontology.kif 27706-27706
(roomTempState Neon Gas) Mid-level-ontology.kif 31725-31725
(subclass Neon ElementalSubstance) Mid-level-ontology.kif 27705-27705

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


(conventionalShortName "Ne" Neon) Mid-level-ontology.kif 27707-27707
(termFormat ChineseLanguage Neon "氖") domainEnglishFormat.kif 40152-40152
(termFormat ChineseTraditionalLanguage Neon "氖") domainEnglishFormat.kif 40151-40151
(termFormat EnglishLanguage Neon "neon") domainEnglishFormat.kif 40150-40150

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


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


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