Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Europium
Europium(europium)
Eu, atomic_number_63, europium

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26571-26571 63 is an atomic number of europium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27489-27489 1870 Kelvin degree(s) is a boiling point of europium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26578-26581
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1752-1752
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2165-2165
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1104-1104
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27488-27488 1095 Kelvin degree(s) is a melting point of europium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26569-26569 "Europium" has name europium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26568-26568 Europium 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 26570-26570 Europium is a conventional short name of "Eu"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22531-22531
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22530-22530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22529-22529

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26572-26576


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