| Titanium(titanium)
| | Ti, atomic_number_22, titanium |
| appearance as argument number 1 |
|
|
| (atomicNumber Titanium 22) | Mid-level-ontology.kif 28736-28736 | 22 is an atomic number of titanium |
| (boilingPoint Titanium (MeasureFn 3533.0 KelvinDegree)) |
Mid-level-ontology.kif 30339-30339 | 3533.0 Kelvin degree(s) is a boiling point 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 28744-28747 | 3533.0 Kelvin degree(s) is a boiling point of titanium |
| (externalImage Titanium "http://upload.wikimedia.org/wikipedia/commons/8/ 8c/ Ti_TableImage.svg") | pictureList.kif 2035-2035 | 3533.0 Kelvin degree(s) is a boiling point of titanium |
| (externalImage Titanium "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ Ti%2C22.jpg") | pictureList.kif 2406-2406 | 3533.0 Kelvin degree(s) is a boiling point of titanium |
| (externalImage Titanium "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ ff/ Ti%2C22.jpg/ 125px_Ti%2C22.jpg") | pictureList.kif 1270-1270 | 3533.0 Kelvin degree(s) is a boiling point of titanium |
| (meltingPoint Titanium (MeasureFn 1933.0 KelvinDegree)) |
Mid-level-ontology.kif 30338-30338 | 1933.0 Kelvin degree(s) is a melting point of titanium |
| (names Titanium "Titanium") | Mid-level-ontology.kif 28734-28734 | "Titanium" has name titanium |
| (roomTempState Titanium Solid) | Mid-level-ontology.kif 32595-32595 | roomTempState titanium and solid |
| (subclass Titanium ElementalSubstance) | Mid-level-ontology.kif 28733-28733 | Titanium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ti" Titanium) | Mid-level-ontology.kif 28735-28735 | Titanium is a conventional short name of "Ti" |
| (termFormat ChineseLanguage Titanium "钛") | domainEnglishFormat.kif 58233-58233 | Titanium is a conventional short name of "Ti" |
| (termFormat ChineseTraditionalLanguage Titanium "鈦") | domainEnglishFormat.kif 58232-58232 | Titanium is a conventional short name of "Ti" |
| (termFormat EnglishLanguage Titanium "titanium") | domainEnglishFormat.kif 58231-58231 | Titanium is a conventional short name of "Ti" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Titanium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 47.90 Amu))) |
Mid-level-ontology.kif 28738-28742 |
|
|
|
|