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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Polonium
Polonium(polonium)
Po, atomic_number_84, polonium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30404-30404 84 is an atomic number of polonium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31026-31026 1235.0 Kelvin degree(s) is a boiling point of polonium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30412-30416 1235.0 Kelvin degree(s) is a boiling point of polonium
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1927-1927 1235.0 Kelvin degree(s) is a boiling point of polonium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31025-31025 527.0 Kelvin degree(s) is a melting point of polonium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30402-30402 "Polonium" has name polonium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33238-33238 room temperature state polonium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30401-30401 Polonium 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 30403-30403 Polonium is a conventional short name of "Po"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46604-46604 Polonium is a conventional short name of "Po"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46603-46603 Polonium is a conventional short name of "Po"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46602-46602 Polonium is a conventional short name of "Po"

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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