TreeView Knowledge Base Browser

appearance as argument number 1

(atomicNumber Praseodymium 59)	Mid-level-ontology.kif 28308-28308	59 是镨的 atomic 數字
(boilingPoint Praseodymium (MeasureFn 3485.0 KelvinDegree))	Mid-level-ontology.kif 29349-29349	測量 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 28316-28319
(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 29348-29348	測量 1204.0 and 凱文度是镨的 melting 點
(names Praseodymium "Praseodymium")	Mid-level-ontology.kif 28306-28306	名镨 and "Praseodymium"
(roomTempState Praseodymium Solid)	Mid-level-ontology.kif 31541-31541	roomTempState 镨 and 固體
(subclass Praseodymium ElementalSubstance)	Mid-level-ontology.kif 28305-28305	子類镨 and ElementalSubstance

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 28310-28314