TreeView Knowledge Base Browser

appearance as argument number 1

(atomicNumber Nickel 28)	Mid-level-ontology.kif 27778-27778	28 是鎳的 atomic 數字
(boilingPoint Nickel (MeasureFn 3005.0 KelvinDegree))	Mid-level-ontology.kif 29287-29287	測量 3005.0 and 凱文度是鎳的 boiling 點
(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 and 凱文度是鎳的 melting 點
(names Nickel "Nickel")	Mid-level-ontology.kif 27776-27776	名鎳 and "Nickel"
(roomTempState Nickel Solid)	Mid-level-ontology.kif 31510-31510	roomTempState 鎳 and 固體
(subclass Nickel ElementalSubstance)	Mid-level-ontology.kif 27775-27775	子類鎳 and ElementalSubstance

appearance as argument number 2

(conventionalShortName "Ni" Nickel)	Mid-level-ontology.kif 27777-27777	鎳是 "Ni" 的 conventional 簡稱
(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