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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cobalt
Cobalt(cobalt)
Co, atomic_number_27, cobalt

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


(atomicNumber Cobalt 27) Mid-level-ontology.kif 27698-27698 27 is an atomic number of cobalt
(boilingPoint Cobalt
    (MeasureFn 3143.0 KelvinDegree))
Mid-level-ontology.kif 29222-29222 3143.0 Kelvin degree(s) is a boiling point of cobalt
(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 27706-27710
(externalImage Cobalt "http://upload.wikimedia.org/wikipedia/commons/6/6f/ Cobalt-sample.jpg") pictureList.kif 2141-2141
(externalImage Cobalt "http://upload.wikimedia.org/wikipedia/commons/9/9e/ Co-TableImage.png") pictureList.kif 1703-1703
(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 29221-29221 1768.0 Kelvin degree(s) is a melting point of cobalt
(names Cobalt "Cobalt") Mid-level-ontology.kif 27696-27696 "Cobalt" has name cobalt
(roomTempState Cobalt Solid) Mid-level-ontology.kif 31473-31473 roomTempState cobalt and solid
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 27695-27695 Cobalt is a subclass of elemental substance

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


(conventionalShortName "Co" Cobalt) Mid-level-ontology.kif 27697-27697 Cobalt is a conventional short name of "Co"
(termFormat ChineseLanguage Cobalt "钴") domainEnglishFormat.kif 15420-15420
(termFormat ChineseTraditionalLanguage Cobalt "鈷") domainEnglishFormat.kif 15419-15419
(termFormat EnglishLanguage Cobalt "cobalt") domainEnglishFormat.kif 15418-15418

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


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


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