ArmsControl
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2636-2636 | ArmsControl e' uma instancia de TransnationalIssue |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2637-2637 | ArmsControl e' um sub-atributo de InternationalPeaceAndSecurity |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3986-3986 | organizationalObjective UnitedNationsInstituteForDisarmamentResearch and ArmsControl |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4291-4291 | organizationalObjective WassenaarArrangement and ArmsControl |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2639-2639 | ControlWeaponsOfMassDestruction e' um sub-atributo de ArmsControl |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2638-2638 | ConventionalArmsControl e' um sub-atributo de ArmsControl |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2634-2634 | WeaponsInspection e' um sub-atributo de ArmsControl |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8442-8442 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8441-8441 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8440-8440 |