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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lawrencium
Lawrencium(lawrencium)
Lr, atomic_number_103, lawrencium

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


(atomicNumber Lawrencium 103) Mid-level-ontology.kif 29340-29340 103 is an atomic number of lawrencium
(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 29348-29357 103 is an atomic number of lawrencium
(externalImage Lawrencium "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Lr-TableImage.png") pictureList.kif 1831-1831 103 is an atomic number of lawrencium
(names Lawrencium "Lawrencium") Mid-level-ontology.kif 29338-29338 "Lawrencium" has name lawrencium
(subclass Lawrencium ElementalSubstance) Mid-level-ontology.kif 29337-29337 Lawrencium is a subclass of elemental substance

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


(conventionalShortName "Lr" Lawrencium) Mid-level-ontology.kif 29339-29339 Lawrencium is a conventional short name of "Lr"
(termFormat ChineseLanguage Lawrencium "铹") domainEnglishFormat.kif 33609-33609 Lawrencium is a conventional short name of "Lr"
(termFormat ChineseTraditionalLanguage Lawrencium "铹") domainEnglishFormat.kif 33608-33608 Lawrencium is a conventional short name of "Lr"
(termFormat EnglishLanguage Lawrencium "lawrencium") domainEnglishFormat.kif 33607-33607 Lawrencium is a conventional short name of "Lr"

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


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


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