TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Mercury ElementalSubstance)	Mid-level-ontology.kif 31276-31276	Mercury is a subclass of elemental substance
(atomicNumber Mercury 80)	Mid-level-ontology.kif 31279-31279	80 is an atomic number of mercury
(documentation Mercury EnglishLanguage "Heavy silvery liquid metallic element, belongs to the zinc group. Used in thermometers, barometers and other scientific apparatus. Less reactive than zinc and cadmium, does not displace hydrogen from acids. Forms a number of complexes and organomercury compounds.")	Mid-level-ontology.kif 31287-31291	80 is an atomic number of mercury
(meltingPoint Mercury (MeasureFn 234.28 KelvinDegree))	Mid-level-ontology.kif 31965-31965	234.28 Kelvin degree(s) is a melting point of mercury
(boilingPoint Mercury (MeasureFn 629.73 KelvinDegree))	Mid-level-ontology.kif 31966-31966	629.73 Kelvin degree(s) is a boiling point of mercury
(roomTempState Mercury Liquid)	Mid-level-ontology.kif 34002-34002	room temperature state mercury and liquid
(externalImage Mercury "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 63/ Hg_Mercury.jpg/ 125px_Hg_Mercury.jpg")	pictureList.kif 1177-1177	room temperature state mercury and liquid
(externalImage Mercury "http://upload.wikimedia.org/wikipedia/commons/1/ 1c/ Hg_TableImage.png")	pictureList.kif 1845-1845	room temperature state mercury and liquid
(externalImage Mercury "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Hg_Mercury.jpg")	pictureList.kif 2255-2255	room temperature state mercury and liquid

appearance as argument number 2

(names "Mercury" Mercury)	Mid-level-ontology.kif 31277-31277	Mercury has name "Mercury"
(conventionalShortName "Hg" Mercury)	Mid-level-ontology.kif 31278-31278	Mercury is a conventional short name of "Hg"
(termFormat EnglishLanguage Mercury "mercury")	domainEnglishFormat.kif 37175-37175	Mercury is a conventional short name of "Hg"
(termFormat ChineseTraditionalLanguage Mercury "汞")	domainEnglishFormat.kif 37176-37176	Mercury is a conventional short name of "Hg"
(termFormat ChineseLanguage Mercury "汞")	domainEnglishFormat.kif 37177-37177	Mercury is a conventional short name of "Hg"

antecedent

(=>
    (and
        (instance ?ATOM Mercury)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 200.59 Amu)))

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