ArmsControl
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2600-2600 | ArmsControl e' uma instancia de TransnationalIssue |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2601-2601 | 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 3950-3950 | organizationalObjective UnitedNationsInstituteForDisarmamentResearch and ArmsControl |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4255-4255 | organizationalObjective WassenaarArrangement and ArmsControl |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2603-2603 | ControlWeaponsOfMassDestruction e' um sub-atributo de ArmsControl |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2602-2602 | ConventionalArmsControl e' um sub-atributo de ArmsControl |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2598-2598 | 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 |