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 30171-30171 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 30179-30188 103 is an atomic number of lawrencium
(externalImage Lawrencium "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Lr_TableImage.png") pictureList.kif 1830-1830 103 is an atomic number of lawrencium
(names Lawrencium "Lawrencium") Mid-level-ontology.kif 30169-30169 "Lawrencium" has name lawrencium
(subclass Lawrencium ElementalSubstance) Mid-level-ontology.kif 30168-30168 Lawrencium is a subclass of elemental substance

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


(conventionalShortName "Lr" Lawrencium) Mid-level-ontology.kif 30170-30170 Lawrencium is a conventional short name of "Lr"
(termFormat ChineseLanguage Lawrencium "铹") domainEnglishFormat.kif 33603-33603 Lawrencium is a conventional short name of "Lr"
(termFormat ChineseTraditionalLanguage Lawrencium "铹") domainEnglishFormat.kif 33602-33602 Lawrencium is a conventional short name of "Lr"
(termFormat EnglishLanguage Lawrencium "lawrencium") domainEnglishFormat.kif 33601-33601 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 30173-30177


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