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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Krypton
Krypton(krypton)
Kr, atomic_number_36, krypton

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


(atomicNumber Krypton 36) Mid-level-ontology.kif 27854-27854 36 is an atomic number of krypton
(boilingPoint Krypton
    (MeasureFn 120.85 KelvinDegree))
Mid-level-ontology.kif 29252-29252 120.85 Kelvin degree(s) is a boiling point of krypton
(documentation Krypton EnglishLanguage "Colorless gaseous element, belongs to the noble gases. Occurs in the air, 0.0001 percent by volume. It can be extracted from liquid air by fractional distillation. Generally not isolated, but used with other inert gases in fluorescent lamps. Five natural isotopes, and five radioactive isotopes. Kr-85, the most stable radioactive isotope, has a half-life of 10.76 years and is produced in fission reactors. Practically inert, though known to form compounds with {fluorine}.") Mid-level-ontology.kif 27862-27869
(externalImage Krypton "http://upload.wikimedia.org/wikipedia/commons/2/ 29/ Kr%2C36.jpg") pictureList.kif 2244-2244
(externalImage Krypton "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Kr-TableImage.png") pictureList.kif 1828-1828
(externalImage Krypton "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 29/ Kr%2C36.jpg/ 125px-Kr%2C36.jpg") pictureList.kif 1151-1151
(meltingPoint Krypton
    (MeasureFn 116.55 KelvinDegree))
Mid-level-ontology.kif 29251-29251 116.55 Kelvin degree(s) is a melting point of krypton
(names Krypton "Krypton") Mid-level-ontology.kif 27852-27852 "Krypton" has name krypton
(roomTempState Krypton Gas) Mid-level-ontology.kif 31486-31486 roomTempState krypton and gas
(subclass Krypton ElementalSubstance) Mid-level-ontology.kif 27851-27851 Krypton is a subclass of elemental substance

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


(conventionalShortName "Kr" Krypton) Mid-level-ontology.kif 27853-27853 Krypton is a conventional short name of "Kr"
(termFormat ChineseLanguage Krypton "氪") domainEnglishFormat.kif 32857-32857
(termFormat ChineseTraditionalLanguage Krypton "氪") domainEnglishFormat.kif 32856-32856
(termFormat EnglishLanguage Krypton "krypton") domainEnglishFormat.kif 32855-32855

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


(=>
    (and
        (instance ?ATOM Krypton)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 83.80 Amu)))
Mid-level-ontology.kif 27856-27860


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