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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NuclearExportControls

 Sigma KEE - NuclearExportControls
NuclearExportControls(nuclear export controls)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2606-2606 Nuclear export controls is a subattribute of nuclear nonproliferation

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3664-3664 Nuclear export controls is an organizational objective of nuclear suppliers group
No TPTP formula. May not be expressible in strict first order. Government.kif 4352-4352 Nuclear export controls is an organizational objective of zangger committee
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41357-41357
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41356-41356
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41355-41355


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