|
|
  ArmsControl
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2636-2636 | ArmsControl est une instance de TransnationalIssue |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2637-2637 | ArmsControl est un sous-attribut 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 est un sous-attribut de ArmsControl |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2638-2638 | ConventionalArmsControl est un sous-attribut de ArmsControl |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2634-2634 | WeaponsInspection est un sous-attribut 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 |
|
|
|