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 27574-27574 19 is an atomic number of potassium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29218-29218 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 27582-27585
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 29217-29217 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 27572-27572 "Potassium" has name potassium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31469-31469 roomTempState potassium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27571-27571 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 27573-27573 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 27576-27580


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