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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Strontium
Strontium(strontium)
Sr, atomic_number_38, strontium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27891-27891 38 is an atomic number of strontium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29256-29256 1657.0 Kelvin degree(s) is a boiling point of strontium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27899-27903
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2007-2007
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2380-2380
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1257-1257
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29255-29255 1042.0 Kelvin degree(s) is a melting point of strontium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27889-27889 "Strontium" has name strontium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31488-31488 roomTempState strontium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27888-27888 Strontium 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 27890-27890 Strontium is a conventional short name of "Sr"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55668-55668
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55667-55667
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55666-55666

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


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


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