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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Neon
Neon(neon)
Ne, atomic_number_10, neon

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


(atomicNumber Neon 10) Mid-level-ontology.kif 25683-25683 10 is an atomic number of neon
(boilingPoint Neon
    (MeasureFn 27.1 KelvinDegree))
Mid-level-ontology.kif 27358-27358 27.1 Kelvin degree(s) is a boiling point of neon
(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 25690-25695
(externalImage Neon "http://upload.wikimedia.org/wikipedia/commons/8/81/ Ne-TableImage.png") pictureList.kif 1865-1865
(externalImage Neon "http://upload.wikimedia.org/wikipedia/commons/8/88/ NeTube.jpg") pictureList.kif 2266-2266
(meltingPoint Neon
    (MeasureFn 24.48 KelvinDegree))
Mid-level-ontology.kif 27357-27357 24.48 Kelvin degree(s) is a melting point of neon
(names Neon "Neon") Mid-level-ontology.kif 25681-25681 "Neon" has name neon
(subclass Neon ElementalSubstance) Mid-level-ontology.kif 25680-25680 Neon is a subclass of elemental substance

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


(conventionalShortName "Ne" Neon) Mid-level-ontology.kif 25682-25682 Neon is a conventional short name of "Ne"
(termFormat ChineseLanguage Neon "氖") domainEnglishFormat.kif 40015-40015
(termFormat ChineseTraditionalLanguage Neon "氖") domainEnglishFormat.kif 40014-40014
(termFormat EnglishLanguage Neon "neon") domainEnglishFormat.kif 40013-40013

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners