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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cobalt

Sigma KEE - Cobalt
Cobalt

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


(atomicNumber Cobalt 27) Mid-level-ontology.kif 25947-25947
(boilingPoint Cobalt
    (MeasureFn 3143 KelvinDegree))
Mid-level-ontology.kif 27387-27387
(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 25954-25958
(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 27386-27386
(names Cobalt "Cobalt") Mid-level-ontology.kif 25945-25945
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 25944-25944

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


(conventionalShortName "Co" Cobalt) Mid-level-ontology.kif 25946-25946
(termFormat EnglishLanguage Cobalt "cobalt") domainEnglishFormat.kif 2993-2993

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners