TreeView Knowledge Base Browser

appearance as argument number 1

(atomicNumber Nickel 28)	Mid-level-ontology.kif 27778-27778	28 is an atomic number of nickel
(boilingPoint Nickel (MeasureFn 3005.0 KelvinDegree))	Mid-level-ontology.kif 29287-29287	3005.0 Kelvin degree(s) is a boiling point of nickel
(documentation Nickel EnglishLanguage "Malleable ductile silvery metallic transition element. Discovered by A.F. Cronstedt in 1751.")	Mid-level-ontology.kif 27786-27787
(externalImage Nickel "http://upload.wikimedia.org/wikipedia/commons/0/08/ Ni%2C28.jpg")	pictureList.kif 2266-2266
(externalImage Nickel "http://upload.wikimedia.org/wikipedia/commons/1/10/ Ni-TableImage.png")	pictureList.kif 1866-1866
(externalImage Nickel "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 08/ Ni%2C28.jpg/ 125px-Ni%2C28.jpg")	pictureList.kif 1197-1197
(meltingPoint Nickel (MeasureFn 1726.0 KelvinDegree))	Mid-level-ontology.kif 29286-29286	1726.0 Kelvin degree(s) is a melting point of nickel
(names Nickel "Nickel")	Mid-level-ontology.kif 27776-27776	"Nickel" has name nickel
(roomTempState Nickel Solid)	Mid-level-ontology.kif 31510-31510	roomTempState nickel and solid
(subclass Nickel ElementalSubstance)	Mid-level-ontology.kif 27775-27775	Nickel is a subclass of elemental substance

appearance as argument number 2

(conventionalShortName "Ni" Nickel)	Mid-level-ontology.kif 27777-27777	Nickel is a conventional short name of "Ni"
(termFormat ChineseLanguage Nickel "镍")	domainEnglishFormat.kif 40487-40487
(termFormat ChineseTraditionalLanguage Nickel "鎳")	domainEnglishFormat.kif 40486-40486
(termFormat EnglishLanguage Nickel "nickel")	domainEnglishFormat.kif 40485-40485

antecedent

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

Mid-level-ontology.kif 27780-27784

consequent

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

Economy.kif 5657-5662