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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lawrencium
Lawrencium

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


(atomicNumber Lawrencium 103) Mid-level-ontology.kif 29056-29056 atomicNumber Lawrencium and 103
(documentation Lawrencium EnglishLanguage "Appearance unknown, however it is most likely silvery-white or grey and metallic. Lawrencium is a synthetic rare-earth metal. There are eight known radioisotopes, the most stable being Lr-262 with a half-life of 3.6 hours. Due to the short half-life of lawrencium, and its radioactivity, there are no known uses for it. Identified by Albert Ghiorso in 1961 at Berkeley. It was produced by bombarding californium with boron ions. The name is temporary {IUPAC} nomenclature, the origin of the name comes from Ernest O. Lawrence, the inventor of the cyclotron. If sufficient amounts of lawrencium were produced, it would pose a radiation hazard.") Mid-level-ontology.kif 29064-29073
(externalImage Lawrencium "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Lr-TableImage.png") pictureList.kif 1831-1831
(names Lawrencium "Lawrencium") Mid-level-ontology.kif 29054-29054 "Lawrencium" は Lawrenciumname を 持って %n{ない}
(subclass Lawrencium ElementalSubstance) Mid-level-ontology.kif 29053-29053 Lawrencium単体subclass では %n

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


(conventionalShortName "Lr" Lawrencium) Mid-level-ontology.kif 29055-29055 conventionalShortName "Lr" and Lawrencium
(termFormat ChineseLanguage Lawrencium "铹") domainEnglishFormat.kif 33575-33575
(termFormat ChineseTraditionalLanguage Lawrencium "铹") domainEnglishFormat.kif 33574-33574
(termFormat EnglishLanguage Lawrencium "lawrencium") domainEnglishFormat.kif 33573-33573

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


(=>
    (and
        (instance ?ATOM Lawrencium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 262 Amu)))
Mid-level-ontology.kif 29058-29062


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