TreeView Knowledge Base Browser - Potassium

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Potassium

Potassium(potassium)

K, atomic_number_19, potassium

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27625-27625	19 is an atomic number of potassium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29269-29269	1047.0 Kelvin degree(s) is a boiling point of potassium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27633-27636
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1931-1931
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2320-2320
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1218-1218
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29268-29268	336.8 Kelvin degree(s) is a melting point of potassium
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5873-5873	The number of molecules of potassium in a molecule of PotassiumChloride is 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27623-27623	"Potassium" has name potassium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31501-31501	roomTempState potassium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27622-27622	Potassium 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 27624-27624	Potassium is a conventional short name of "K"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46876-46876
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46875-46875
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46874-46874

antecedent

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

Mid-level-ontology.kif 27627-27631

If a physical is an instance of potassium and the physical is an instance of atom,
then the measure of the physical is 39.0983 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