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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Titanium

 Sigma KEE - Titanium
Titanium(titanium)
Ti, atomic_number_22, titanium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27621-27621 22 is an atomic number of titanium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29224-29224 3533.0 Kelvin degree(s) is a boiling point of titanium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27629-27632
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2036-2036
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2407-2407
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1270-1270
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29223-29223 1933.0 Kelvin degree(s) is a melting point of titanium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27619-27619 "Titanium" has name titanium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31472-31472 roomTempState titanium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27618-27618 Titanium is a subclass of elemental substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27620-27620 Titanium is a conventional short name of "Ti"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58196-58196
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58195-58195
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58194-58194

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27623-27627


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