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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Manganese
Manganese

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


(atomicNumber Manganese 25) Mid-level-ontology.kif 29356-29356
(boilingPoint Manganese
    (MeasureFn 2370.0 KelvinDegree))
Mid-level-ontology.kif 30908-30908
(documentation Manganese EnglishLanguage "Grey brittle metallic transition element. Rather electropositive, combines with some non-metals when heated. Discovered in 1774 by Scheele.") Mid-level-ontology.kif 29364-29366
(externalImage Manganese "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ Mn%2C25.jpg") pictureList.kif 2250-2250
(externalImage Manganese "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Mn_TableImage.png") pictureList.kif 1840-1840
(externalImage Manganese "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 0c/ Mn%2C25.jpg/ 125px_Mn%2C25.jpg") pictureList.kif 1173-1173
(meltingPoint Manganese
    (MeasureFn 1517.0 KelvinDegree))
Mid-level-ontology.kif 30907-30907
(names Manganese "Manganese") Mid-level-ontology.kif 29354-29354
(roomTempState Manganese Solid) Mid-level-ontology.kif 33179-33179
(subclass Manganese ElementalSubstance) Mid-level-ontology.kif 29353-29353

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


(conventionalShortName "Mn" Manganese) Mid-level-ontology.kif 29355-29355
(termFormat ChineseLanguage Manganese "锰") domainEnglishFormat.kif 36001-36001
(termFormat ChineseTraditionalLanguage Manganese "錳") domainEnglishFormat.kif 36000-36000
(termFormat EnglishLanguage Manganese "manganese") domainEnglishFormat.kif 35999-35999

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


(=>
    (and
        (instance ?ATOM Manganese)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 54.938 Amu)))
Mid-level-ontology.kif 29358-29362


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