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 26960-26960 87 is an atomic number of francium
(boilingPoint Francium
    (MeasureFn 950 KelvinDegree))
Mid-level-ontology.kif 27512-27512 950 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 26967-26970
(externalImage Francium "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Fr-TableImage.png") pictureList.kif 1767-1767
(meltingPoint Francium
    (MeasureFn 300 KelvinDegree))
Mid-level-ontology.kif 27511-27511 300 Kelvin degree(s) is a melting point of francium
(names Francium "Francium") Mid-level-ontology.kif 26958-26958 "Francium" has name francium
(subclass Francium ElementalSubstance) Mid-level-ontology.kif 26957-26957 Francium is a subclass of elemental substance

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


(conventionalShortName "Fr" Francium) Mid-level-ontology.kif 26959-26959 Francium is a conventional short name of "Fr"
(termFormat ChineseLanguage Francium "钫") domainEnglishFormat.kif 24799-24799
(termFormat ChineseTraditionalLanguage Francium "鈁") domainEnglishFormat.kif 24798-24798
(termFormat EnglishLanguage Francium "francium") domainEnglishFormat.kif 24797-24797

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners