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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Einsteinium

 Sigma KEE - Einsteinium
Einsteinium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28973-28973 atomicNumber Einsteinium and 99
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28981-28988
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1744-1744
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29363-29363 meltingPoint Einsteinium and 1133.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28971-28971 "Einsteinium" se chama nome Einsteinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28970-28970 Einsteinium 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 28972-28972 conventionalShortName "Es" and Einsteinium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21372-21372
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21371-21371
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21370-21370

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


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


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