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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Titanium

Sigma KEE - Titanium
Titanium(钛)

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


(atomicNumber Titanium 22) Mid-level-ontology.kif 27672-27672 22 是 atomic 数字
(boilingPoint Titanium
    (MeasureFn 3533.0 KelvinDegree))
Mid-level-ontology.kif 29275-29275 3533.0 凯文度boiling
(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 27680-27683
(externalImage Titanium "http://upload.wikimedia.org/wikipedia/commons/8/ 8c/ Ti-TableImage.svg") pictureList.kif 2036-2036
(externalImage Titanium "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ Ti%2C22.jpg") pictureList.kif 2407-2407
(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 29274-29274 1933.0 凯文度melting
(names Titanium "Titanium") Mid-level-ontology.kif 27670-27670 "Titanium" 的名 是
(roomTempState Titanium Solid) Mid-level-ontology.kif 31504-31504 roomTempState and 固体
(subclass Titanium ElementalSubstance) Mid-level-ontology.kif 27669-27669 元素物质subclass

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


(conventionalShortName "Ti" Titanium) Mid-level-ontology.kif 27671-27671 是 "Ti" 的 conventional 简称
(termFormat ChineseLanguage Titanium "钛") domainEnglishFormat.kif 58198-58198
(termFormat ChineseTraditionalLanguage Titanium "鈦") domainEnglishFormat.kif 58197-58197
(termFormat EnglishLanguage Titanium "titanium") domainEnglishFormat.kif 58196-58196

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


(=>
    (and
        (instance ?ATOM Titanium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 47.90 Amu)))
Mid-level-ontology.kif 27674-27678


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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