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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ControlBiologicalAndChemicalWeapons

 Sigma KEE - ControlBiologicalAndChemicalWeapons
ControlBiologicalAndChemicalWeapons

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2608-2608 ControlBiologicalAndChemicalWeapons est un sous-attribut de ControlWeaponsOfMassDestruction

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2609-2609 CBWExportControls est un sous-attribut de ControlBiologicalAndChemicalWeapons
No TPTP formula. May not be expressible in strict first order. Government.kif 2610-2610 EliminateChemicalWeapons est un sous-attribut de ControlBiologicalAndChemicalWeapons
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17016-17016
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17015-17015
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17014-17014


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