TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Nickel ElementalSubstance)	Mid-level-ontology.kif 30350-30350	Nickel is a subclass of elemental substance
(atomicNumber Nickel 28)	Mid-level-ontology.kif 30353-30353	28 is an atomic number of nickel
(documentation Nickel EnglishLanguage "Malleable ductile silvery metallic transition element. Discovered by A.F. Cronstedt in 1751.")	Mid-level-ontology.kif 30361-30362	28 is an atomic number of nickel
(meltingPoint Nickel (MeasureFn 1726.0 KelvinDegree))	Mid-level-ontology.kif 31861-31861	1726.0 Kelvin degree(s) is a melting point of nickel
(boilingPoint Nickel (MeasureFn 3005.0 KelvinDegree))	Mid-level-ontology.kif 31862-31862	3005.0 Kelvin degree(s) is a boiling point of nickel
(roomTempState Nickel Solid)	Mid-level-ontology.kif 33950-33950	room temperature state nickel and solid
(externalImage Nickel "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 08/ Ni%2C28.jpg/ 125px_Ni%2C28.jpg")	pictureList.kif 1197-1197	room temperature state nickel and solid
(externalImage Nickel "http://upload.wikimedia.org/wikipedia/commons/1/10/ Ni_TableImage.png")	pictureList.kif 1865-1865	room temperature state nickel and solid
(externalImage Nickel "http://upload.wikimedia.org/wikipedia/commons/0/08/ Ni%2C28.jpg")	pictureList.kif 2265-2265	room temperature state nickel and solid

appearance as argument number 2

(names "Nickel" Nickel)	Mid-level-ontology.kif 30351-30351	Nickel has name "Nickel"
(conventionalShortName "Ni" Nickel)	Mid-level-ontology.kif 30352-30352	Nickel is a conventional short name of "Ni"
(termFormat EnglishLanguage Nickel "nickel")	domainEnglishFormat.kif 40489-40489	Nickel is a conventional short name of "Ni"
(termFormat ChineseTraditionalLanguage Nickel "鎳")	domainEnglishFormat.kif 40490-40490	Nickel is a conventional short name of "Ni"
(termFormat ChineseLanguage Nickel "镍")	domainEnglishFormat.kif 40491-40491	Nickel is a conventional short name of "Ni"

antecedent

(=>
    (and
        (instance ?ATOM Nickel)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 58.71 Amu)))

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

consequent

(=>
    (instance ?ORE NickelOre)
    (exists (?METAL)
        (and
            (instance ?METAL Nickel)
            (component ?METAL ?ORE))))

If X is an instance of nickel ore, then there exists Y such that Y is an instance of nickel and Y is a component of X