ArmsControl |
appearance as argument number 1 |
(instance ArmsControl TransnationalIssue) | Government.kif 2636-2636 | ArmsControl est une instance de TransnationalIssue |
(subAttribute ArmsControl InternationalPeaceAndSecurity) | Government.kif 2637-2637 | ArmsControl est un sous-attribut de InternationalPeaceAndSecurity |
appearance as argument number 2 |