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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Polonium
Polonium(polonium)
Po, atomic_number_84, polonium

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


(atomicNumber Polonium 84) Mid-level-ontology.kif 28777-28777 84 is an atomic number of polonium
(boilingPoint Polonium
    (MeasureFn 1235.0 KelvinDegree))
Mid-level-ontology.kif 29399-29399 1235.0 Kelvin degree(s) is a boiling point of polonium
(documentation Polonium EnglishLanguage "Rare radioactive metallic element, belongs to group 16 of the periodic table. Over 30 known isotopes exist, the most of all elements. Po-209 has a half-life of 103 years. Possible uses in heating spacecraft. Discovered by Marie Curie in 1898 in a sample of pitchblende.") Mid-level-ontology.kif 28785-28789
(externalImage Polonium "http://upload.wikimedia.org/wikipedia/commons/9/ 99/ Po-TableImage.png") pictureList.kif 1928-1928
(meltingPoint Polonium
    (MeasureFn 527.0 KelvinDegree))
Mid-level-ontology.kif 29398-29398 527.0 Kelvin degree(s) is a melting point of polonium
(names Polonium "Polonium") Mid-level-ontology.kif 28775-28775 "Polonium" has name polonium
(roomTempState Polonium Solid) Mid-level-ontology.kif 31566-31566 roomTempState polonium and solid
(subclass Polonium ElementalSubstance) Mid-level-ontology.kif 28774-28774 Polonium is a subclass of elemental substance

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


(conventionalShortName "Po" Polonium) Mid-level-ontology.kif 28776-28776 Polonium is a conventional short name of "Po"
(termFormat ChineseLanguage Polonium "钋") domainEnglishFormat.kif 46575-46575
(termFormat ChineseTraditionalLanguage Polonium "釙") domainEnglishFormat.kif 46574-46574
(termFormat EnglishLanguage Polonium "polonium") domainEnglishFormat.kif 46573-46573

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


(=>
    (and
        (instance ?ATOM Polonium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 210 Amu)))
Mid-level-ontology.kif 28779-28783


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