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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Helium
Helium(helium)
He, atomic_number_2, helium

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


(atomicNumber Helium 2) Mid-level-ontology.kif 25553-25553 2 is an atomic number of helium
(boilingPoint Helium
    (MeasureFn 4.216 KelvinDegree))
Mid-level-ontology.kif 27342-27342 4.216 Kelvin degree(s) is a boiling point of helium
(documentation Helium EnglishLanguage "Colourless, odourless gaseous nonmetallic element. Belongs to group 18 of the periodic table. Lowest boiling point of all elements and can only be solidified under pressure. Chemically inert, no known compounds. Discovered in the solar spectrum in 1868 by Lockyer.") Mid-level-ontology.kif 25560-25563
(externalImage Helium "http://upload.wikimedia.org/wikipedia/commons/1/1e/ He-TableImage.svg") pictureList.kif 1802-1802
(externalImage Helium "http://upload.wikimedia.org/wikipedia/commons/2/2a/ Goodyear-blimp.jpg") pictureList.kif 2216-2216
(externalImage Helium "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c8/ He%2C2.jpg/ 125px-He%2C2.jpg") pictureList.kif 1136-1136
(meltingPoint Helium
    (MeasureFn 0.95 KelvinDegree))
Mid-level-ontology.kif 27341-27341 0.95 Kelvin degree(s) is a melting point of helium
(names Helium "Helium") Mid-level-ontology.kif 25551-25551 "Helium" has name helium
(subclass Helium ElementalSubstance) Mid-level-ontology.kif 25550-25550 Helium is a subclass of elemental substance

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


(conventionalShortName "He" Helium) Mid-level-ontology.kif 25552-25552 Helium is a conventional short name of "He"
(termFormat ChineseLanguage Helium "氦") domainEnglishFormat.kif 27805-27805
(termFormat ChineseTraditionalLanguage Helium "氦") domainEnglishFormat.kif 27804-27804
(termFormat EnglishLanguage Helium "helium") domainEnglishFormat.kif 27803-27803

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


(=>
    (and
        (instance ?ATOM Helium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 4.0026 Amu)))
Mid-level-ontology.kif 25554-25558


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