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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Praseodymium

Sigma KEE - Praseodymium
Praseodymium

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


(atomicNumber Praseodymium 59) Mid-level-ontology.kif 28308-28308
(boilingPoint Praseodymium
    (MeasureFn 3485.0 KelvinDegree))
Mid-level-ontology.kif 29349-29349
(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
(names Praseodymium "Praseodymium") Mid-level-ontology.kif 28306-28306
(roomTempState Praseodymium Solid) Mid-level-ontology.kif 31541-31541
(subclass Praseodymium ElementalSubstance) Mid-level-ontology.kif 28305-28305

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


(conventionalShortName "Pr" Praseodymium) Mid-level-ontology.kif 28307-28307
(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


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

Show without tree


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