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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tantalum

 Sigma KEE - Tantalum
Tantalum

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28508-28508 atomicNumber Tantalum and 73
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29314-29314 boilingPoint Tantalum and 5698.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28516-28520
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 29313-29313 meltingPoint Tantalum and 3269.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28506-28506 "Tantalum" s'appele nom Tantalum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31519-31519 roomTempState Tantalum and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28505-28505 Tantalum 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 28507-28507 conventionalShortName "Ta" and Tantalum
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 28510-28514


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