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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Protactinium

Sigma KEE - Protactinium
Protactinium(镤)

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


(atomicNumber Protactinium 91) Mid-level-ontology.kif 28833-28833 91 是 atomic 数字
(boilingPoint Protactinium
    (MeasureFn 4300.0 KelvinDegree))
Mid-level-ontology.kif 29350-29350 4300.0 凯文度boiling
(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 28841-28845
(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 29349-29349 1827.0 凯文度melting
(names Protactinium "Protactinium") Mid-level-ontology.kif 28831-28831 "Protactinium" 的名 是
(roomTempState Protactinium Solid) Mid-level-ontology.kif 31537-31537 roomTempState and 固体
(subclass Protactinium ElementalSubstance) Mid-level-ontology.kif 28830-28830 元素物质subclass

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


(conventionalShortName "Pa" Protactinium) Mid-level-ontology.kif 28832-28832 是 "Pa" 的 conventional 简称
(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 28835-28839


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