Titanium![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(atomicNumber Titanium 22) | Mid-level-ontology.kif 29299-29299 | |
(boilingPoint Titanium (MeasureFn 3533.0 KelvinDegree)) |
Mid-level-ontology.kif 30902-30902 | |
(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 29307-29310 | |
(externalImage Titanium "http://upload.wikimedia.org/wikipedia/commons/8/ 8c/ Ti_TableImage.svg") | pictureList.kif 2035-2035 | |
(externalImage Titanium "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ Ti%2C22.jpg") | pictureList.kif 2406-2406 | |
(externalImage Titanium "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ ff/ Ti%2C22.jpg/ 125px_Ti%2C22.jpg") | pictureList.kif 1270-1270 | |
(meltingPoint Titanium (MeasureFn 1933.0 KelvinDegree)) |
Mid-level-ontology.kif 30901-30901 | |
(names Titanium "Titanium") | Mid-level-ontology.kif 29297-29297 | |
(roomTempState Titanium Solid) | Mid-level-ontology.kif 33176-33176 | |
(subclass Titanium ElementalSubstance) | Mid-level-ontology.kif 29296-29296 |
appearance as argument number 2 |
![]() |
(conventionalShortName "Ti" Titanium) | Mid-level-ontology.kif 29298-29298 | |
(termFormat ChineseLanguage Titanium "钛") | domainEnglishFormat.kif 58233-58233 | |
(termFormat ChineseTraditionalLanguage Titanium "鈦") | domainEnglishFormat.kif 58232-58232 | |
(termFormat EnglishLanguage Titanium "titanium") | domainEnglishFormat.kif 58231-58231 |
antecedent |
![]() |
(=> (and (instance ?ATOM Titanium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 47.90 Amu))) |
Mid-level-ontology.kif 29301-29305 |
![]() |
![]() |