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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Californium
Californium(californium)
Cf, atomic_number_98, californium

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


(atomicNumber Californium 98) Mid-level-ontology.kif 30082-30082 98 is an atomic number of californium
(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 30090-30095 98 is an atomic number of californium
(externalImage Californium "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Cf_TableImage.png") pictureList.kif 1685-1685 98 is an atomic number of californium
(externalImage Californium "http://upload.wikimedia.org/wikipedia/en/9/93/ Californium.jpg") pictureList.kif 1061-1061 98 is an atomic number of californium
(meltingPoint Californium
    (MeasureFn 1173.0 KelvinDegree))
Mid-level-ontology.kif 30489-30489 1173.0 Kelvin degree(s) is a melting point of californium
(names Californium "Californium") Mid-level-ontology.kif 30080-30080 "Californium" has name californium
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 30079-30079 Californium is a subclass of elemental substance

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


(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 30081-30081 Californium is a conventional short name of "Cf"
(termFormat ChineseLanguage Californium "锎") domainEnglishFormat.kif 12754-12754 Californium is a conventional short name of "Cf"
(termFormat ChineseTraditionalLanguage Californium "锎") domainEnglishFormat.kif 12753-12753 Californium is a conventional short name of "Cf"
(termFormat EnglishLanguage Californium "californium") domainEnglishFormat.kif 12752-12752 Californium is a conventional short name of "Cf"

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


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


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