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 28913-28913 92 is an atomic number of uranium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29415-29415 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 28921-28924
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 29414-29414 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 28911-28911 "Uranium" has name uranium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31574-31574 roomTempState uranium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28910-28910 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 28912-28912 Uranium is a conventional short name of "U"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60688-60688
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60687-60687
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60686-60686

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


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


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