TreeView Knowledge Base Browser - Strontium

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 27879-27879	38 is an atomic number of strontium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29244-29244	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 27887-27891
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 29243-29243	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 27877-27877	"Strontium" has name strontium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31484-31484	roomTempState strontium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27876-27876	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 27878-27878	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 27881-27885

If a physical is an instance of strontium and the physical is an instance of atom,
then the measure of the physical is 87.62 amu(s)

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