TreeView Knowledge Base Browser

appearance as argument number 1

(atomicNumber Praseodymium 59)	Mid-level-ontology.kif 28257-28257	59 是镨的 atomic 數字
(boilingPoint Praseodymium (MeasureFn 3485.0 KelvinDegree))	Mid-level-ontology.kif 29298-29298	測量 3485.0 and 凱文度是镨的 boiling 點
(documentation Praseodymium EnglishLanguage "Soft silvery metallic element, belongs to the lanthanoids. Only natural isotope is Pr-141 which is not radioactive. Fourteen radioactive isotopes have been artificially produced. Used in rare-earth alloys. Discovered in 1885 by C.A. von Welsbach.")	Mid-level-ontology.kif 28265-28268
(externalImage Praseodymium "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Pr-TableImage.png")	pictureList.kif 1934-1934
(externalImage Praseodymium "http://upload.wikimedia.org/wikipedia/commons/ e/ e0/ Pr%2C59.jpg")	pictureList.kif 2322-2322
(externalImage Praseodymium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e0/ Pr%2C59.jpg/ 125px-Pr%2C59.jpg")	pictureList.kif 1219-1219
(meltingPoint Praseodymium (MeasureFn 1204.0 KelvinDegree))	Mid-level-ontology.kif 29297-29297	測量 1204.0 and 凱文度是镨的 melting 點
(names Praseodymium "Praseodymium")	Mid-level-ontology.kif 28255-28255	名镨 and "Praseodymium"
(roomTempState Praseodymium Solid)	Mid-level-ontology.kif 31509-31509	roomTempState 镨 and 固體
(subclass Praseodymium ElementalSubstance)	Mid-level-ontology.kif 28254-28254	子類镨 and ElementalSubstance

appearance as argument number 2

(conventionalShortName "Pr" Praseodymium)	Mid-level-ontology.kif 28256-28256	镨是 "Pr" 的 conventional 簡稱
(termFormat ChineseLanguage Praseodymium "镨")	domainEnglishFormat.kif 47090-47090
(termFormat ChineseTraditionalLanguage Praseodymium "镨")	domainEnglishFormat.kif 47089-47089
(termFormat EnglishLanguage Praseodymium "praseodymium")	domainEnglishFormat.kif 47088-47088

antecedent

(=>
    (and
        (instance ?ATOM Praseodymium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 140.907 Amu)))

Mid-level-ontology.kif 28259-28263