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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cerium
Cerium(cerium)
Ce, atomic_number_58, cerium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24456-24456 58 is an atomic number of cerium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25512-25512 3530 Kelvin degree(s) is a boiling point of cerium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24464-24468
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1695-1695
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2137-2137
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1070-1070
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25511-25511 1071 Kelvin degree(s) is a melting point of cerium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24454-24454 "Cerium" has name cerium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24453-24453 Cerium 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 24455-24455 Cerium is a conventional short name of "Ce"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13959-13959
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13958-13958
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13957-13957

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


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


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