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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Samarium

 Sigma KEE - Samarium
Samarium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28370-28370 atomicNumber Samarium and 62
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29355-29355 boilingPoint Samarium and 2051.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28378-28386
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1968-1968
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2343-2343
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1243-1243
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29354-29354 meltingPoint Samarium and 1345.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28368-28368 "Samarium" se chama nome Samarium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31544-31544 roomTempState Samarium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28367-28367 Samarium e' uma sub-classe de Substancia Elementar

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28369-28369 conventionalShortName "Sm" and Samarium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51029-51029
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51028-51028
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51027-51027

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


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


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