![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4107-4107 | dateEstablished UnitedNationsMonitoringAndVerificationCommission and l' ann�e 1999 |
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 | UnitedNationsMonitoringAndVerificationCommission est une instance de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4111-4111 | organizationalObjective UnitedNationsMonitoringAndVerificationCommission and ControlWeaponsOfMassDestruction |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4110-4110 | organizationalObjective UnitedNationsMonitoringAndVerificationCommission and ObservationAndMonitoring |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4197-4197 | UnitedNationsMonitoringAndVerificationCommission est une partie de l'organization UnitedNationsSecurityCouncil |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4106-4106 | abbreviation "UNMOVIC" and UnitedNationsMonitoringAndVerificationCommission |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4105-4105 | conventionalLongName "United Nations Monitoring and Verification Commission" and UnitedNationsMonitoringAndVerificationCommission |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4109-4109 | formerName "UNSCOM" and UnitedNationsMonitoringAndVerificationCommission |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4108-4108 | formerName "United Nations Special Commission for the Elimination of Iraqi Weapons of Mass Destruction" and UnitedNationsMonitoringAndVerificationCommission |
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 |
![]() |
![]() |