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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tantalum
Tantalum(钽)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28520-28520 73 是 钽 的 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29326-29326 5698.0 凯文度 是 钽 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28528-28532
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2390-2390
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2014-2014
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1261-1261
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29325-29325 3269.0 凯文度 是 钽 的 melting 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28518-28518 "Tantalum" 的名 是 钽
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31523-31523 roomTempState 钽 and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28517-28517 钽 是 元素物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28519-28519 钽 是 "Ta" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56917-56917
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56916-56916
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56915-56915

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


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


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