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 28850-28850 92 is an atomic number of uranium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29352-29352 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 28858-28861
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 29351-29351 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 28848-28848 "Uranium" has name uranium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31538-31538 roomTempState uranium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28847-28847 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 28849-28849 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 28852-28856


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