ArmsControl |
appearance as argument number 1 |
(instance ArmsControl TransnationalIssue) | Government.kif 2636-2636 | ArmsControl は TransnationalIssue の instance では %n |
(subAttribute ArmsControl InternationalPeaceAndSecurity) | Government.kif 2637-2637 | ArmsControl は InternationalPeaceAndSecurity の subattribute では %n |
appearance as argument number 2 |