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 28967-28967
(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 28975-28980
(externalImage Californium "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Cf-TableImage.png") pictureList.kif 1686-1686
(externalImage Californium "http://upload.wikimedia.org/wikipedia/en/9/93/ Californium.jpg") pictureList.kif 1061-1061
(meltingPoint Californium
    (MeasureFn 1173.0 KelvinDegree))
Mid-level-ontology.kif 29374-29374
(names Californium "Californium") Mid-level-ontology.kif 28965-28965
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 28964-28964

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


(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 28966-28966
(termFormat ChineseLanguage Californium "锎") domainEnglishFormat.kif 12739-12739
(termFormat ChineseTraditionalLanguage Californium "锎") domainEnglishFormat.kif 12738-12738
(termFormat EnglishLanguage Californium "californium") domainEnglishFormat.kif 12737-12737

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


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


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