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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Francium
Francium(francium)
Fr, atomic_number_87, francium

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


(atomicNumber Francium 87) Mid-level-ontology.kif 28778-28778 87 is an atomic number of francium
(boilingPoint Francium
    (MeasureFn 950.0 KelvinDegree))
Mid-level-ontology.kif 29354-29354 950.0 Kelvin degree(s) is a boiling point of francium
(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 28786-28789
(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 29353-29353 300.0 Kelvin degree(s) is a melting point of francium
(names Francium "Francium") Mid-level-ontology.kif 28776-28776 "Francium" has name francium
(roomTempState Francium Solid) Mid-level-ontology.kif 31537-31537 roomTempState francium and solid
(subclass Francium ElementalSubstance) Mid-level-ontology.kif 28775-28775 Francium is a subclass of elemental substance

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


(conventionalShortName "Fr" Francium) Mid-level-ontology.kif 28777-28777 Francium is a conventional short name of "Fr"
(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 28780-28784


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