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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cobalt
Cobalt

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


(atomicNumber Cobalt 27) Mid-level-ontology.kif 25952-25952 atomicNumber Cobalt and 27
(boilingPoint Cobalt
    (MeasureFn 3143 KelvinDegree))
Mid-level-ontology.kif 27392-27392 boilingPoint Cobalt and MeasureFn 3143 and KelvinDegree
(documentation Cobalt EnglishLanguage "Light grey transition element. Some meteorites contain small amounts of metallic cobalt. Generally alloyed for use. Mammals require small amounts of cobalt salts. Cobalt-60, an artificially produced radioactive isotope of Cobalt is an important radioactive tracer and cancer-treatment agent. Discovered by G. Brandt in 1737.") Mid-level-ontology.kif 25959-25963
(externalImage Cobalt "http://upload.wikimedia.org/wikipedia/commons/6/6f/ Cobalt-sample.jpg") pictureList.kif 2142-2142
(externalImage Cobalt "http://upload.wikimedia.org/wikipedia/commons/9/9e/ Co-TableImage.png") pictureList.kif 1704-1704
(externalImage Cobalt "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 6f/ Cobalt-sample.jpg/ 125px-Cobalt-sample.jpg") pictureList.kif 1077-1077
(meltingPoint Cobalt
    (MeasureFn 1768 KelvinDegree))
Mid-level-ontology.kif 27391-27391 meltingPoint Cobalt and MeasureFn 1768 and KelvinDegree
(names Cobalt "Cobalt") Mid-level-ontology.kif 25950-25950 names Cobalt and "Cobalt"
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 25949-25949 subclass Cobalt and ElementalSubstance

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


(conventionalShortName "Co" Cobalt) Mid-level-ontology.kif 25951-25951 conventionalShortName "Co" and Cobalt
(termFormat ChineseLanguage Cobalt "钴") domainEnglishFormat.kif 15355-15355
(termFormat ChineseTraditionalLanguage Cobalt "鈷") domainEnglishFormat.kif 15354-15354
(termFormat EnglishLanguage Cobalt "cobalt") domainEnglishFormat.kif 15353-15353

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


(=>
    (and
        (instance ?ATOM Cobalt)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 58.993 Amu)))
Mid-level-ontology.kif 25953-25957


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