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 29388-29388
(boilingPoint Cobalt
    (MeasureFn 3143.0 KelvinDegree))
Mid-level-ontology.kif 30912-30912
(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 29396-29400
(externalImage Cobalt "http://upload.wikimedia.org/wikipedia/commons/6/6f/ Cobalt_sample.jpg") pictureList.kif 2140-2140
(externalImage Cobalt "http://upload.wikimedia.org/wikipedia/commons/9/9e/ Co_TableImage.png") pictureList.kif 1702-1702
(externalImage Cobalt "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 6f/ Cobalt_sample.jpg/ 125px_Cobalt_sample.jpg") pictureList.kif 1076-1076
(meltingPoint Cobalt
    (MeasureFn 1768.0 KelvinDegree))
Mid-level-ontology.kif 30911-30911
(names Cobalt "Cobalt") Mid-level-ontology.kif 29386-29386
(roomTempState Cobalt Solid) Mid-level-ontology.kif 33181-33181
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 29385-29385

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


(conventionalShortName "Co" Cobalt) Mid-level-ontology.kif 29387-29387
(termFormat ChineseLanguage Cobalt "钴") domainEnglishFormat.kif 15435-15435
(termFormat ChineseTraditionalLanguage Cobalt "鈷") domainEnglishFormat.kif 15434-15434
(termFormat EnglishLanguage Cobalt "cobalt") domainEnglishFormat.kif 15433-15433

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


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


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