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 28726-28726 atomicNumber Polonium and 84
(boilingPoint Polonium
    (MeasureFn 1235.0 KelvinDegree))
Mid-level-ontology.kif 29348-29348 boilingPoint Polonium and 1235.0 の KelvinDegree(s)
(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 meltingPoint Polonium and 527.0 の KelvinDegree(s)
(names Polonium "Polonium") Mid-level-ontology.kif 28724-28724 "Polonium" は Poloniumname を 持って %n{ない}
(roomTempState Polonium Solid) Mid-level-ontology.kif 31534-31534 roomTempState Polonium and Solid
(subclass Polonium ElementalSubstance) Mid-level-ontology.kif 28723-28723 Polonium単体subclass では %n

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


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