| Protactinium(protactinium)
| | Pa, atomic_number_91, protactinium, protoactinium |
| appearance as argument number 1 |
|
|
| (atomicNumber Protactinium 91) | Mid-level-ontology.kif 30523-30523 | 91 is an atomic number of protactinium |
| (boilingPoint Protactinium (MeasureFn 4300.0 KelvinDegree)) |
Mid-level-ontology.kif 31040-31040 | 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 30531-30535 | 4300.0 Kelvin degree(s) is a boiling point of protactinium |
| (externalImage Protactinium "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ Pa_TableImage.png") | pictureList.kif 1938-1938 | 4300.0 Kelvin degree(s) is a boiling point of protactinium |
| (meltingPoint Protactinium (MeasureFn 1827.0 KelvinDegree)) |
Mid-level-ontology.kif 31039-31039 | 1827.0 Kelvin degree(s) is a melting point of protactinium |
| (names Protactinium "Protactinium") | Mid-level-ontology.kif 30521-30521 | "Protactinium" has name protactinium |
| (roomTempState Protactinium Solid) | Mid-level-ontology.kif 33245-33245 | room temperature state protactinium and solid |
| (subclass Protactinium ElementalSubstance) | Mid-level-ontology.kif 30520-30520 | Protactinium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Pa" Protactinium) | Mid-level-ontology.kif 30522-30522 | Protactinium is a conventional short name of "Pa" |
| (termFormat ChineseLanguage Protactinium "镤") | domainEnglishFormat.kif 47859-47859 | Protactinium is a conventional short name of "Pa" |
| (termFormat ChineseTraditionalLanguage Protactinium "镤") | domainEnglishFormat.kif 47858-47858 | Protactinium is a conventional short name of "Pa" |
| (termFormat EnglishLanguage Protactinium "protactinium") | domainEnglishFormat.kif 47857-47857 | Protactinium is a conventional short name of "Pa" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Protactinium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 231 Amu))) |
Mid-level-ontology.kif 30525-30529 |
|
|
|
|