ControlWeaponsOfMassDestruction |
appearance as argument number 1 |
(subAttribute ControlWeaponsOfMassDestruction ArmsControl) | Government.kif 2639-2639 | ControlWeaponsOfMassDestruction est un sous-attribut de ArmsControl |
appearance as argument number 2 |