TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Manganese ElementalSubstance)	Mid-level-ontology.kif 30301-30301	Manganese is a subclass of elemental substance
(atomicNumber Manganese 25)	Mid-level-ontology.kif 30304-30304	25 is an atomic number 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 30312-30314	25 is an atomic number of manganese
(meltingPoint Manganese (MeasureFn 1517.0 KelvinDegree))	Mid-level-ontology.kif 31855-31855	1517.0 Kelvin degree(s) is a melting point of manganese
(boilingPoint Manganese (MeasureFn 2370.0 KelvinDegree))	Mid-level-ontology.kif 31856-31856	2370.0 Kelvin degree(s) is a boiling point of manganese
(roomTempState Manganese Solid)	Mid-level-ontology.kif 33947-33947	room temperature state manganese and solid
(externalImage Manganese "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 0c/ Mn%2C25.jpg/ 125px_Mn%2C25.jpg")	pictureList.kif 1173-1173	room temperature state manganese and solid
(externalImage Manganese "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Mn_TableImage.png")	pictureList.kif 1840-1840	room temperature state manganese and solid
(externalImage Manganese "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ Mn%2C25.jpg")	pictureList.kif 2250-2250	room temperature state manganese and solid

appearance as argument number 2

(names "Manganese" Manganese)	Mid-level-ontology.kif 30302-30302	Manganese has name "Manganese"
(conventionalShortName "Mn" Manganese)	Mid-level-ontology.kif 30303-30303	Manganese is a conventional short name of "Mn"
(termFormat EnglishLanguage Manganese "manganese")	domainEnglishFormat.kif 35975-35975	Manganese is a conventional short name of "Mn"
(termFormat ChineseTraditionalLanguage Manganese "錳")	domainEnglishFormat.kif 35976-35976	Manganese is a conventional short name of "Mn"
(termFormat ChineseLanguage Manganese "锰")	domainEnglishFormat.kif 35977-35977	Manganese is a conventional short name of "Mn"

antecedent

(=>
    (and
        (instance ?ATOM Manganese)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 54.938 Amu)))

If X is an instance of manganese and X is an instance of atom, then the measure of X is 54.938 amu(s)