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