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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Manganese

Sigma KEE - Manganese
Manganese(manganese)
Mn, atomic_number_25, manganese

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


(atomicNumber Manganese 25) Mid-level-ontology.kif 27729-27729 25 is an atomic number of manganese
(boilingPoint Manganese
    (MeasureFn 2370.0 KelvinDegree))
Mid-level-ontology.kif 29281-29281 2370.0 Kelvin degree(s) is a boiling point of manganese
(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 27737-27739
(externalImage Manganese "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ Mn%2C25.jpg") pictureList.kif 2251-2251
(externalImage Manganese "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Mn-TableImage.png") pictureList.kif 1841-1841
(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 29280-29280 1517.0 Kelvin degree(s) is a melting point of manganese
(names Manganese "Manganese") Mid-level-ontology.kif 27727-27727 "Manganese" has name manganese
(roomTempState Manganese Solid) Mid-level-ontology.kif 31507-31507 roomTempState manganese and solid
(subclass Manganese ElementalSubstance) Mid-level-ontology.kif 27726-27726 Manganese is a subclass of elemental substance

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


(conventionalShortName "Mn" Manganese) Mid-level-ontology.kif 27728-27728 Manganese is a conventional short name of "Mn"
(termFormat ChineseLanguage Manganese "锰") domainEnglishFormat.kif 35975-35975
(termFormat ChineseTraditionalLanguage Manganese "錳") domainEnglishFormat.kif 35974-35974
(termFormat EnglishLanguage Manganese "manganese") domainEnglishFormat.kif 35973-35973

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


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


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 3.0 is open source software produced by Articulate Software and its partners