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 27609-27609 atomicNumber Titanium and 22
(boilingPoint Titanium
    (MeasureFn 3533.0 KelvinDegree))
Mid-level-ontology.kif 29212-29212 boilingPoint Titanium and 3533.0 KelvinDegree(s)
(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 27617-27620
(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 29211-29211 meltingPoint Titanium and 1933.0 KelvinDegree(s)
(names Titanium "Titanium") Mid-level-ontology.kif 27607-27607 names Titanium and "Titanium"
(roomTempState Titanium Solid) Mid-level-ontology.kif 31468-31468 roomTempState Titanium and Solid
(subclass Titanium ElementalSubstance) Mid-level-ontology.kif 27606-27606 Titanium ist eine teilkategorie von ElementalSubstance

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


(conventionalShortName "Ti" Titanium) Mid-level-ontology.kif 27608-27608 conventionalShortName "Ti" and Titanium
(termFormat ChineseLanguage Titanium "钛") domainEnglishFormat.kif 58196-58196
(termFormat ChineseTraditionalLanguage Titanium "鈦") domainEnglishFormat.kif 58195-58195
(termFormat EnglishLanguage Titanium "titanium") domainEnglishFormat.kif 58194-58194

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


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


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