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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Actinium
Actinium(actinium)
Ac, actinium, atomic_number_89

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


(atomicNumber Actinium 89) Mid-level-ontology.kif 28798-28798 89 is an atomic number of actinium
(boilingPoint Actinium
    (MeasureFn 3470.0 KelvinDegree))
Mid-level-ontology.kif 29346-29346 3470.0 Kelvin degree(s) is a boiling point of actinium
(documentation Actinium EnglishLanguage "Silvery radioactive metallic element, belongs to group 3 of the periodic table. The most stable isotope, Ac-227, has a half-life of 217 years. Ac-228 (half-life of 6.13 hours) also occurs in nature. There are 22 other artificial isotopes, all radioactive and having very short half-lives. Chemistry similar to lanthanum. Used as a source of alpha particles. Discovered by A. Debierne in 1899.") Mid-level-ontology.kif 28806-28811
(externalImage Actinium "http://upload.wikimedia.org/wikipedia/commons/d/ dd/ Ac-TableImage.png") pictureList.kif 1617-1617
(meltingPoint Actinium
    (MeasureFn 1320.0 KelvinDegree))
Mid-level-ontology.kif 29345-29345 1320.0 Kelvin degree(s) is a melting point of actinium
(names Actinium "Actinium") Mid-level-ontology.kif 28796-28796 "Actinium" has name actinium
(roomTempState Actinium Solid) Mid-level-ontology.kif 31535-31535 roomTempState actinium and solid
(subclass Actinium ElementalSubstance) Mid-level-ontology.kif 28795-28795 Actinium is a subclass of elemental substance

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 28797-28797 Actinium is a conventional short name of "Ac"
(termFormat ChineseLanguage Actinium "锕") domainEnglishFormat.kif 5358-5358
(termFormat ChineseTraditionalLanguage Actinium "錒") domainEnglishFormat.kif 5357-5357
(termFormat EnglishLanguage Actinium "actinium") domainEnglishFormat.kif 5356-5356

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


(=>
    (and
        (instance ?ATOM Actinium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 227 Amu)))
Mid-level-ontology.kif 28800-28804


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