Astatine - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Astatine ElementalSubstance)	Mid-level-ontology.kif 31423-31423	Astatine is a subclass of elemental substance
(atomicNumber Astatine 85)	Mid-level-ontology.kif 31426-31426	85 is an atomic number of astatine
(documentation Astatine EnglishLanguage "Radioactive halogen element. Occurs naturally from uranium and thorium decay. At least 20 known isotopes. At-210, the most stable, has a half-life of 8.3 hours. Synthesized by nuclear bombardment in 1940 by D.R. Corson, K.R. MacKenzie and E. Segre at the University of California.")	Mid-level-ontology.kif 31434-31438	85 is an atomic number of astatine
(meltingPoint Astatine (MeasureFn 575.0 KelvinDegree))	Mid-level-ontology.kif 32032-32032	575.0 Kelvin degree(s) is a melting point of astatine
(boilingPoint Astatine (MeasureFn 610.0 KelvinDegree))	Mid-level-ontology.kif 32033-32033	610.0 Kelvin degree(s) is a boiling point of astatine
(roomTempState Astatine Solid)	Mid-level-ontology.kif 34261-34261	room temperature state astatine and solid
(externalImage Astatine "http://upload.wikimedia.org/wikipedia/commons/a/ a9/ At_TableImage.png")	pictureList.kif 1647-1647	room temperature state astatine and solid

appearance as argument number 2

(names "Astatine" Astatine)	Mid-level-ontology.kif 31424-31424	Astatine has name "Astatine"
(conventionalShortName "At" Astatine)	Mid-level-ontology.kif 31425-31425	Astatine is a conventional short name of "At"
(termFormat EnglishLanguage Astatine "astatine")	domainEnglishFormat.kif 8806-8806	Astatine is a conventional short name of "At"
(termFormat ChineseTraditionalLanguage Astatine "砹")	domainEnglishFormat.kif 8807-8807	Astatine is a conventional short name of "At"
(termFormat ChineseLanguage Astatine "砹")	domainEnglishFormat.kif 8808-8808	Astatine is a conventional short name of "At"

antecedent

(=>
    (and
        (instance ?ATOM Astatine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 210 Amu)))

If X is an instance of astatine and X is an instance of atom, then the measure of X is 210 amu(s)