Titanium - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Titanium ElementalSubstance)	Mid-level-ontology.kif 30244-30244	Titanium is a subclass of elemental substance
(atomicNumber Titanium 22)	Mid-level-ontology.kif 30247-30247	22 is an atomic number of titanium
(documentation Titanium EnglishLanguage "White metallic transition element. Occurs in numerous minerals. Used in strong, light corrosion-resistant alloys. Forms a passive oxide coating when exposed to air. First discovered by Gregor in 1789.")	Mid-level-ontology.kif 30255-30258	22 is an atomic number of titanium
(meltingPoint Titanium (MeasureFn 1933.0 KelvinDegree))	Mid-level-ontology.kif 31849-31849	1933.0 Kelvin degree(s) is a melting point of titanium
(boilingPoint Titanium (MeasureFn 3533.0 KelvinDegree))	Mid-level-ontology.kif 31850-31850	3533.0 Kelvin degree(s) is a boiling point of titanium
(roomTempState Titanium Solid)	Mid-level-ontology.kif 33944-33944	room temperature state titanium and solid
(externalImage Titanium "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ ff/ Ti%2C22.jpg/ 125px_Ti%2C22.jpg")	pictureList.kif 1270-1270	room temperature state titanium and solid
(externalImage Titanium "http://upload.wikimedia.org/wikipedia/commons/8/ 8c/ Ti_TableImage.svg")	pictureList.kif 2035-2035	room temperature state titanium and solid
(externalImage Titanium "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ Ti%2C22.jpg")	pictureList.kif 2406-2406	room temperature state titanium and solid

appearance as argument number 2

(names "Titanium" Titanium)	Mid-level-ontology.kif 30245-30245	Titanium has name "Titanium"
(conventionalShortName "Ti" Titanium)	Mid-level-ontology.kif 30246-30246	Titanium is a conventional short name of "Ti"
(termFormat EnglishLanguage Titanium "titanium")	domainEnglishFormat.kif 58195-58195	Titanium is a conventional short name of "Ti"
(termFormat ChineseTraditionalLanguage Titanium "鈦")	domainEnglishFormat.kif 58196-58196	Titanium is a conventional short name of "Ti"
(termFormat ChineseLanguage Titanium "钛")	domainEnglishFormat.kif 58197-58197	Titanium is a conventional short name of "Ti"

antecedent

(=>
    (and
        (instance ?ATOM Titanium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 47.90 Amu)))

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