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 atomicNumber Francium and 87
(boilingPoint Francium
    (MeasureFn 950.0 KelvinDegree))
Mid-level-ontology.kif 29405-29405 boilingPoint Francium and 950.0 KelvinDegree(s)
(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 meltingPoint Francium and 300.0 KelvinDegree(s)
(names Francium "Francium") Mid-level-ontology.kif 28827-28827 "Francium" se chama nome Francium
(roomTempState Francium Solid) Mid-level-ontology.kif 31569-31569 roomTempState Francium and Solid
(subclass Francium ElementalSubstance) Mid-level-ontology.kif 28826-28826 Francium e' uma sub-classe de Substancia Elementar

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


(conventionalShortName "Fr" Francium) Mid-level-ontology.kif 28828-28828 conventionalShortName "Fr" and Francium
(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