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 22 是 鈦 的 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29212-29212 測量 3533.0 and 凱文度 是 鈦 的 boiling 點
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 測量 1933.0 and 凱文度 是 鈦 的 melting 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27607-27607 名 鈦 and "Titanium"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31468-31468 roomTempState 鈦 and 固體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27606-27606 子類 鈦 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27608-27608 鈦 是 "Ti" 的 conventional 簡稱
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