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 27562-27562	19 is an atomic number of potassium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29206-29206	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 27570-27573
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 29205-29205	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 27560-27560	"Potassium" has name potassium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31465-31465	roomTempState potassium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27559-27559	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 27561-27561	Potassium is a conventional short name of "K"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46874-46874
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46873-46873
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46872-46872

antecedent

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

Mid-level-ontology.kif 27564-27568

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