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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Uranium

 Sigma KEE - Uranium
Uranium(uranium)
U, atomic_number_92, uranium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28862-28862 92 is an atomic number of uranium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29364-29364 4091.0 Kelvin degree(s) is a boiling point of uranium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28870-28873
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2053-2053
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2419-2419
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1280-1280
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29363-29363 1405.5 Kelvin degree(s) is a melting point of uranium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28860-28860 "Uranium" has name uranium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31542-31542 roomTempState uranium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28859-28859 Uranium 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 28861-28861 Uranium is a conventional short name of "U"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60686-60686
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60685-60685
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60684-60684

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


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


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