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 28778-28778 87 是 atomic 数字
(boilingPoint Francium
    (MeasureFn 950.0 KelvinDegree))
Mid-level-ontology.kif 29354-29354 950.0 凯文度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 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 凯文度melting
(names Francium "Francium") Mid-level-ontology.kif 28776-28776 "Francium" 的名 是
(roomTempState Francium Solid) Mid-level-ontology.kif 31537-31537 roomTempState and 固体
(subclass Francium ElementalSubstance) Mid-level-ontology.kif 28775-28775 元素物质subclass

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


(conventionalShortName "Fr" Francium) Mid-level-ontology.kif 28777-28777 是 "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 28780-28784


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