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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadiatingNuclear

 Sigma KEE - RadiatingNuclear
RadiatingNuclear(radiating nuclear)activation_energy, atomic, energy_of_activation, nuclear, radioactive

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1417-1417
No TPTP formula. May not be expressible in strict first order. Merge.kif 13749-13750
No TPTP formula. May not be expressible in strict first order. Merge.kif 13748-13748 Radiating nuclear is a subclass of radiating

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48452-48452
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48451-48451
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48450-48450

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8962-8964
No TPTP formula. May not be expressible in strict first order. WMD.kif 136-138


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