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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Protactinium
Protactinium

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


(atomicNumber Protactinium 91) Mid-level-ontology.kif 30523-30523
(boilingPoint Protactinium
    (MeasureFn 4300.0 KelvinDegree))
Mid-level-ontology.kif 31040-31040
(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 30531-30535
(externalImage Protactinium "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ Pa_TableImage.png") pictureList.kif 1938-1938
(meltingPoint Protactinium
    (MeasureFn 1827.0 KelvinDegree))
Mid-level-ontology.kif 31039-31039
(names Protactinium "Protactinium") Mid-level-ontology.kif 30521-30521
(roomTempState Protactinium Solid) Mid-level-ontology.kif 33245-33245
(subclass Protactinium ElementalSubstance) Mid-level-ontology.kif 30520-30520

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


(conventionalShortName "Pa" Protactinium) Mid-level-ontology.kif 30522-30522
(termFormat ChineseLanguage Protactinium "镤") domainEnglishFormat.kif 47859-47859
(termFormat ChineseTraditionalLanguage Protactinium "镤") domainEnglishFormat.kif 47858-47858
(termFormat EnglishLanguage Protactinium "protactinium") domainEnglishFormat.kif 47857-47857

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


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


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