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 28726-28726 84 is an atomic number of polonium
(boilingPoint Polonium
    (MeasureFn 1235.0 KelvinDegree))
Mid-level-ontology.kif 29348-29348 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 28734-28738
(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 29347-29347 527.0 Kelvin degree(s) is a melting point of polonium
(names Polonium "Polonium") Mid-level-ontology.kif 28724-28724 "Polonium" has name polonium
(roomTempState Polonium Solid) Mid-level-ontology.kif 31534-31534 roomTempState polonium and solid
(subclass Polonium ElementalSubstance) Mid-level-ontology.kif 28723-28723 Polonium is a subclass of elemental substance

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


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

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


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


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