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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Barium

appearance as argument number 1

(atomicNumber Barium 56) Mid-level-ontology.kif 28192-28192 56 是 atomic 数字
(boilingPoint Barium
    (MeasureFn 1913.0 KelvinDegree))
Mid-level-ontology.kif 29280-29280 1913.0 凯文度boiling
(documentation Barium EnglishLanguage "Silvery-white reactive element, belonging to group 2 of the periodic table. Soluble barium compounds are extremely poisonous. Identified in 1774 by Karl Scheele and extracted in 1808 by Humphry Davy.") Mid-level-ontology.kif 28200-28203
(externalImage Barium " Ba%2C56.jpg") pictureList.kif 2112-2112
(externalImage Barium " Ba-TableImage.png") pictureList.kif 1652-1652
(externalImage Barium " 5/ 51/ Ba%2C56.jpg/ 125px-Ba%2C56.jpg") pictureList.kif 1043-1043
(meltingPoint Barium
    (MeasureFn 998.0 KelvinDegree))
Mid-level-ontology.kif 29279-29279 998.0 凯文度melting
(names Barium "Barium") Mid-level-ontology.kif 28190-28190 "Barium" 的名 是
(roomTempState Barium Solid) Mid-level-ontology.kif 31502-31502 roomTempState and 固体
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 28189-28189 元素物质subclass

appearance as argument number 2

(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 28191-28191 是 "Ba" 的 conventional 简称
(termFormat ChineseLanguage Barium "钡") domainEnglishFormat.kif 9942-9942
(termFormat ChineseTraditionalLanguage Barium "鋇") domainEnglishFormat.kif 9941-9941
(termFormat EnglishLanguage Barium "barium") domainEnglishFormat.kif 9940-9940


        (instance ?ATOM Barium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 137.34 Amu)))
Mid-level-ontology.kif 28194-28198

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