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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Uranium

 Sigma KEE - Uranium
Uranium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28850-28850 atomicNumber Uranium and 92
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29352-29352 boilingPoint Uranium and 4091.0 KelvinDegree(s)
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 meltingPoint Uranium and 1405.5 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28848-28848 "Uranium" s'appele nom 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 est une sous-classe de substance �l�mentaire

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28849-28849 conventionalShortName "U" and Uranium
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