Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Praseodymium
Praseodymium(praseodymium)
Pr, atomic_number_59, praseodymium

appearance as argument number 1
-------------------------


(atomicNumber Praseodymium 59) Mid-level-ontology.kif 29372-29372 59 is an atomic number of praseodymium
(boilingPoint Praseodymium
    (MeasureFn 3485.0 KelvinDegree))
Mid-level-ontology.kif 30413-30413 3485.0 Kelvin degree(s) is a boiling point of praseodymium
(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 29380-29383 3485.0 Kelvin degree(s) is a boiling point of praseodymium
(externalImage Praseodymium "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Pr_TableImage.png") pictureList.kif 1933-1933 3485.0 Kelvin degree(s) is a boiling point of praseodymium
(externalImage Praseodymium "http://upload.wikimedia.org/wikipedia/commons/ e/ e0/ Pr%2C59.jpg") pictureList.kif 2321-2321 3485.0 Kelvin degree(s) is a boiling point of praseodymium
(externalImage Praseodymium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e0/ Pr%2C59.jpg/ 125px_Pr%2C59.jpg") pictureList.kif 1219-1219 3485.0 Kelvin degree(s) is a boiling point of praseodymium
(meltingPoint Praseodymium
    (MeasureFn 1204.0 KelvinDegree))
Mid-level-ontology.kif 30412-30412 1204.0 Kelvin degree(s) is a melting point of praseodymium
(names Praseodymium "Praseodymium") Mid-level-ontology.kif 29370-29370 "Praseodymium" has name praseodymium
(roomTempState Praseodymium Solid) Mid-level-ontology.kif 32632-32632 roomTempState praseodymium and solid
(subclass Praseodymium ElementalSubstance) Mid-level-ontology.kif 29369-29369 Praseodymium is a subclass of elemental substance

appearance as argument number 2
-------------------------


(conventionalShortName "Pr" Praseodymium) Mid-level-ontology.kif 29371-29371 Praseodymium is a conventional short name of "Pr"
(termFormat ChineseLanguage Praseodymium "镨") domainEnglishFormat.kif 47121-47121 Praseodymium is a conventional short name of "Pr"
(termFormat ChineseTraditionalLanguage Praseodymium "镨") domainEnglishFormat.kif 47120-47120 Praseodymium is a conventional short name of "Pr"
(termFormat EnglishLanguage Praseodymium "praseodymium") domainEnglishFormat.kif 47119-47119 Praseodymium is a conventional short name of "Pr"

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Praseodymium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 140.907 Amu)))
Mid-level-ontology.kif 29374-29378


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners