|
|
  UnitedNationsMonitoringAndVerificationCommission
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4107-4107 | The year 1999 is a date established of united nations monitoring and verification commission |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5817-5817 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5681-5681 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4104-4104 | United nations monitoring and verification commission is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4111-4111 | Control weapons of mass destruction is an organizational objective of united nations monitoring and verification commission |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4110-4110 | Observation and monitoring is an organizational objective of united nations monitoring and verification commission |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4197-4197 | United nations monitoring and verification commission is a part of the organization united nations security council |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4106-4106 | "UNMOVIC" is an abbreviation of united nations monitoring and verification commission |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4105-4105 | United nations monitoring and verification commission is a conventional long name of "United Nations Monitoring and Verification Commission" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4109-4109 | "UNSCOM" is a former name for united nations monitoring and verification commission |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4108-4108 | "United Nations Special Commission for the Elimination of Iraqi Weapons of Mass Destruction" is a former name for united nations monitoring and verification commission |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60236-60236 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60235-60235 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60234-60234 |
|
|
|
