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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Holmium

 Sigma KEE - Holmium
Holmium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28460-28460 atomicNumber Holmium and 67
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29365-29365 boilingPoint Holmium and 2993.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28468-28480
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2216-2216
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1805-1805
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1138-1138
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29364-29364 meltingPoint Holmium and 1743.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28458-28458 "Holmium" s'appele nom Holmium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31549-31549 roomTempState Holmium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28457-28457 Holmium 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 28459-28459 conventionalShortName "Ho" and Holmium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28401-28401
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28400-28400
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28399-28399

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


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


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