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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Polonium
Polonium

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


(atomicNumber Polonium 84) Mid-level-ontology.kif 28777-28777
(boilingPoint Polonium
    (MeasureFn 1235.0 KelvinDegree))
Mid-level-ontology.kif 29399-29399
(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
(names Polonium "Polonium") Mid-level-ontology.kif 28775-28775
(roomTempState Polonium Solid) Mid-level-ontology.kif 31566-31566
(subclass Polonium ElementalSubstance) Mid-level-ontology.kif 28774-28774

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


(conventionalShortName "Po" Polonium) Mid-level-ontology.kif 28776-28776
(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