ArmsControl |
appearance as argument number 1 |
(instance ArmsControl TransnationalIssue) | Government.kif 2600-2600 | ArmsControl e' uma instancia de TransnationalIssue |
(subAttribute ArmsControl InternationalPeaceAndSecurity) | Government.kif 2601-2601 | ArmsControl e' um sub-atributo de InternationalPeaceAndSecurity |
appearance as argument number 2 |