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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Francium

Sigma KEE - Francium
Francium(鈁)

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


(atomicNumber Francium 87) Mid-level-ontology.kif 28829-28829 87 是 atomic 數字
(boilingPoint Francium
    (MeasureFn 950.0 KelvinDegree))
Mid-level-ontology.kif 29405-29405 測量 950.0 and 凱文度boiling
(documentation Francium EnglishLanguage "Radioactive element, belongs to group 1 of the periodic table. Found in uranium and thorium ores. The 22 known isotopes are all radioactive, with the most stable being Fr-223. Its existence was confirmed in 1939 by Marguerite Perey.") Mid-level-ontology.kif 28837-28840
(externalImage Francium "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Fr-TableImage.png") pictureList.kif 1766-1766
(meltingPoint Francium
    (MeasureFn 300.0 KelvinDegree))
Mid-level-ontology.kif 29404-29404 測量 300.0 and 凱文度melting
(names Francium "Francium") Mid-level-ontology.kif 28827-28827 and "Francium"
(roomTempState Francium Solid) Mid-level-ontology.kif 31569-31569 roomTempState and 固體
(subclass Francium ElementalSubstance) Mid-level-ontology.kif 28826-28826 子類 and ElementalSubstance

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


(conventionalShortName "Fr" Francium) Mid-level-ontology.kif 28828-28828 是 "Fr" 的 conventional 簡稱
(termFormat ChineseLanguage Francium "钫") domainEnglishFormat.kif 24872-24872
(termFormat ChineseTraditionalLanguage Francium "鈁") domainEnglishFormat.kif 24871-24871
(termFormat EnglishLanguage Francium "francium") domainEnglishFormat.kif 24870-24870

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


(=>
    (and
        (instance ?ATOM Francium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 223 Amu)))
Mid-level-ontology.kif 28831-28835


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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