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 27942-27942	38 is an atomic number of strontium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29307-29307	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 27950-27954
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 29306-29306	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 27940-27940	"Strontium" has name strontium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31520-31520	roomTempState strontium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27939-27939	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 27941-27941	Strontium is a conventional short name of "Sr"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55670-55670
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55669-55669
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55668-55668

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 27944-27948

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