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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cerium
Cerium(铈)

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


(atomicNumber Cerium 58) Mid-level-ontology.kif 30161-30161 58 是 atomic 数字
(boilingPoint Cerium
    (MeasureFn 3530.0 KelvinDegree))
Mid-level-ontology.kif 31217-31217 3530.0 凯文度boiling
(documentation Cerium EnglishLanguage "Silvery metallic element, belongs to the lanthanoids. Four natural isotopes exist, and fifteen radioactive isotopes have been identified. Used in some rare-earth alloys. The oxidized form is used in the glass industry. Discovered by Martin .H. Klaproth in 1803.") Mid-level-ontology.kif 30169-30173 3530.0 凯文度boiling
(externalImage Cerium "http://upload.wikimedia.org/wikipedia/commons/0/0a/ Ce_TableImage.png") pictureList.kif 1693-1693 3530.0 凯文度boiling
(externalImage Cerium "http://upload.wikimedia.org/wikipedia/commons/2/22/ Ce%2C58.jpg") pictureList.kif 2135-2135 3530.0 凯文度boiling
(externalImage Cerium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 22/ Ce%2C58.jpg/ 125px_Ce%2C58.jpg") pictureList.kif 1069-1069 3530.0 凯文度boiling
(meltingPoint Cerium
    (MeasureFn 1071.0 KelvinDegree))
Mid-level-ontology.kif 31216-31216 1071.0 凯文度melting
(names Cerium "Cerium") Mid-level-ontology.kif 30159-30159 "Cerium" 的名 是
(roomTempState Cerium Solid) Mid-level-ontology.kif 33455-33455 roomTempState and 固体
(subclass Cerium ElementalSubstance) Mid-level-ontology.kif 30158-30158 元素物质subclass

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


(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 30160-30160 是 "Ce" 的 conventional 简称
(termFormat ChineseLanguage Cerium "铈") domainEnglishFormat.kif 13965-13965 是 "Ce" 的 conventional 简称
(termFormat ChineseTraditionalLanguage Cerium "鈰") domainEnglishFormat.kif 13964-13964 是 "Ce" 的 conventional 简称
(termFormat EnglishLanguage Cerium "cerium") domainEnglishFormat.kif 13963-13963 是 "Ce" 的 conventional 简称

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


(=>
    (and
        (instance ?ATOM Cerium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 140.12 Amu)))
Mid-level-ontology.kif 30163-30167


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