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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Protactinium
Protactinium(protactinium)
Pa, atomic_number_91, protactinium, protoactinium

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


(atomicNumber Protactinium 91) Mid-level-ontology.kif 28896-28896 91 is an atomic number of protactinium
(boilingPoint Protactinium
    (MeasureFn 4300.0 KelvinDegree))
Mid-level-ontology.kif 29413-29413 4300.0 Kelvin degree(s) is a boiling point of protactinium
(documentation Protactinium EnglishLanguage "Radioactive metallic element, belongs to the actinoids. The most stable isotope, Pa-231 has a half-life of 2.43*10^4 years. At least 10 other radioactive isotopes are known. No practical applications are known. Discovered in 1917 by Lise Meitner and Otto Hahn.") Mid-level-ontology.kif 28904-28908
(externalImage Protactinium "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ Pa-TableImage.png") pictureList.kif 1939-1939
(meltingPoint Protactinium
    (MeasureFn 1827.0 KelvinDegree))
Mid-level-ontology.kif 29412-29412 1827.0 Kelvin degree(s) is a melting point of protactinium
(names Protactinium "Protactinium") Mid-level-ontology.kif 28894-28894 "Protactinium" has name protactinium
(roomTempState Protactinium Solid) Mid-level-ontology.kif 31573-31573 roomTempState protactinium and solid
(subclass Protactinium ElementalSubstance) Mid-level-ontology.kif 28893-28893 Protactinium is a subclass of elemental substance

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


(conventionalShortName "Pa" Protactinium) Mid-level-ontology.kif 28895-28895 Protactinium is a conventional short name of "Pa"
(termFormat ChineseLanguage Protactinium "镤") domainEnglishFormat.kif 47830-47830
(termFormat ChineseTraditionalLanguage Protactinium "镤") domainEnglishFormat.kif 47829-47829
(termFormat EnglishLanguage Protactinium "protactinium") domainEnglishFormat.kif 47828-47828

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


(=>
    (and
        (instance ?ATOM Protactinium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 231 Amu)))
Mid-level-ontology.kif 28898-28902


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