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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Polonium

 Sigma KEE - Polonium
Polonium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28714-28714 atomicNumber Polonium and 84
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29336-29336 boilingPoint Polonium and 1235.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28722-28726
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1928-1928
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29335-29335 meltingPoint Polonium and 527.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28712-28712 "Polonium" s'appele nom Polonium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31530-31530 roomTempState Polonium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28711-28711 Polonium 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 28713-28713 conventionalShortName "Po" and Polonium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46573-46573
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46572-46572
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46571-46571

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


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


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