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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Thulium

 Sigma KEE - Thulium
Thulium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28502-28502 atomicNumber Thulium and 69
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29369-29369 boilingPoint Thulium and 2000.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28510-28513
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2030-2030
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2402-2402
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1268-1268
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29368-29368 meltingPoint Thulium and 1818.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28500-28500 "Thulium" s'appele nom Thulium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31551-31551 roomTempState Thulium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28499-28499 Thulium 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 28501-28501 conventionalShortName "Tm" and Thulium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57958-57958
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57957-57957
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57956-57956

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


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


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