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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Einsteinium

 Sigma KEE - Einsteinium
Einsteinium(einsteinium)
E, Es, atomic_number_99, einsteinium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28985-28985 99 is an atomic number of einsteinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28993-29000
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 29375-29375 1133.0 Kelvin degree(s) is a melting point of einsteinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28983-28983 "Einsteinium" has name einsteinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28982-28982 Einsteinium is a subclass of elemental substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28984-28984 Einsteinium is a conventional short name of "Es"
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 28987-28991


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