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 28845-28845 atomicNumber Protactinium and 91
(boilingPoint Protactinium
    (MeasureFn 4300.0 KelvinDegree))
Mid-level-ontology.kif 29362-29362 boilingPoint Protactinium and 4300.0 KelvinDegree(s)
(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 28853-28857
(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 29361-29361 meltingPoint Protactinium and 1827.0 KelvinDegree(s)
(names Protactinium "Protactinium") Mid-level-ontology.kif 28843-28843 "Protactinium" s'appele nom Protactinium
(roomTempState Protactinium Solid) Mid-level-ontology.kif 31541-31541 roomTempState Protactinium and Solid
(subclass Protactinium ElementalSubstance) Mid-level-ontology.kif 28842-28842 Protactinium est une sous-classe de substance �l�mentaire

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


(conventionalShortName "Pa" Protactinium) Mid-level-ontology.kif 28844-28844 conventionalShortName "Pa" and Protactinium
(termFormat ChineseLanguage Protactinium "镤") domainEnglishFormat.kif 47828-47828
(termFormat ChineseTraditionalLanguage Protactinium "镤") domainEnglishFormat.kif 47827-47827
(termFormat EnglishLanguage Protactinium "protactinium") domainEnglishFormat.kif 47826-47826

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


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


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