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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(atomicNumber Manganese 25) Mid-level-ontology.kif 25922-25922 25 is an atomic number of manganese
(boilingPoint Manganese
    (MeasureFn 2370 KelvinDegree))
Mid-level-ontology.kif 27388-27388 2370 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 25929-25931
(externalImage Manganese "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ Mn%2C25.jpg") pictureList.kif 2252-2252
(externalImage Manganese "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Mn-TableImage.png") pictureList.kif 1842-1842
(externalImage Manganese "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 0c/ Mn%2C25.jpg/ 125px-Mn%2C25.jpg") pictureList.kif 1174-1174
(meltingPoint Manganese
    (MeasureFn 1517 KelvinDegree))
Mid-level-ontology.kif 27387-27387 1517 Kelvin degree(s) is a melting point of manganese
(names Manganese "Manganese") Mid-level-ontology.kif 25920-25920 "Manganese" has name manganese
(subclass Manganese ElementalSubstance) Mid-level-ontology.kif 25919-25919 Manganese is a subclass of elemental substance

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


(conventionalShortName "Mn" Manganese) Mid-level-ontology.kif 25921-25921 Manganese is a conventional short name of "Mn"
(termFormat ChineseLanguage Manganese "锰") domainEnglishFormat.kif 35869-35869
(termFormat ChineseTraditionalLanguage Manganese "錳") domainEnglishFormat.kif 35868-35868
(termFormat EnglishLanguage Manganese "manganese") domainEnglishFormat.kif 35867-35867

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


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


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