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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Titanium
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


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



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