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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27609-27609 atomicNumber Titanium and 22
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29212-29212 boilingPoint Titanium and 3533.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27617-27620
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 29211-29211 meltingPoint Titanium and 1933.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27607-27607 "Titanium" s'appele nom Titanium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31468-31468 roomTempState Titanium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27606-27606 Titanium est une sous-classe de substance �l�mentaire

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27608-27608 conventionalShortName "Ti" and Titanium
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 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