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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Californium
Californium

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


(atomicNumber Californium 98) Mid-level-ontology.kif 27126-27126 atomicNumber Californium and 98
(documentation Californium EnglishLanguage "Radioactive metallic transuranic element. Belongs to actinoid series. Cf-251 has a half life of about 700 years. Nine isotopes are known. Cf-252 is an intense {neutron} source, which makes it an intense {neutron} source and gives it a use in {neutron} activation analysis and a possible use as a radiation source in medicine. First produced by Glenn T. Seaborg and associates in 1950.") Mid-level-ontology.kif 27133-27138
(externalImage Californium "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Cf-TableImage.png") pictureList.kif 1687-1687 externalImage Californium and "http://upload.wikimedia.org/wikipedia/commons/1/1f/ Cf-TableImage.png"
(externalImage Californium "http://upload.wikimedia.org/wikipedia/en/9/93/ Californium.jpg") pictureList.kif 1062-1062 externalImage Californium and "http://upload.wikimedia.org/wikipedia/en/9/93/Californium.jpg"
(meltingPoint Californium
    (MeasureFn 1173 KelvinDegree))
Mid-level-ontology.kif 27520-27520 meltingPoint Californium and MeasureFn 1173 and KelvinDegree
(names Californium "Californium") Mid-level-ontology.kif 27124-27124 names Californium and "Californium"
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 27123-27123 subclass Californium and ElementalSubstance

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


(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 27125-27125 conventionalShortName "Cf" and Californium
(termFormat ChineseLanguage Californium "锎") domainEnglishFormat.kif 12685-12685 termFormat ChineseLanguage, Californium and "锎"
(termFormat ChineseTraditionalLanguage Californium "锎") domainEnglishFormat.kif 12684-12684 termFormat ChineseTraditionalLanguage, Californium and "锎"
(termFormat EnglishLanguage Californium "californium") domainEnglishFormat.kif 12683-12683 termFormat EnglishLanguage, Californium and "californium"

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


(=>
    (and
        (instance ?ATOM Californium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 249 Amu)))
Mid-level-ontology.kif 27127-27131


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners