|
|
  ObservationAndMonitoring
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2632-2632 | ObservationAndMonitoring est une instance de AreaOfConcern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2631-2631 | ObservationAndMonitoring est reli� � l'int�rieur de SUMO � PromoteRegionalStability |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3917-3917 | organizationalObjective UnitedNationsDisengagementObserverForce and ObservationAndMonitoring |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4049-4049 | organizationalObjective UnitedNationsInterimForceInLebanon and ObservationAndMonitoring |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4055-4055 | organizationalObjective UnitedNationsIraqKuwaitObservationMission and ObservationAndMonitoring |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4061-4061 | organizationalObjective UnitedNationsMilitaryObserverGroupInIndiaAndPakistan and ObservationAndMonitoring |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4067-4067 | organizationalObjective UnitedNationsMissionForTheReferendumInWesternSahara and ObservationAndMonitoring |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4076-4076 | organizationalObjective UnitedNationsMissionInBosniaAndHerzegovina and ObservationAndMonitoring |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4082-4082 | organizationalObjective UnitedNationsMissionInEthiopiaAndEritrea and ObservationAndMonitoring |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4089-4089 | organizationalObjective UnitedNationsMissionInSierraLeone and ObservationAndMonitoring |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4095-4095 | organizationalObjective UnitedNationsMissionOfObserversInPrevlaka and ObservationAndMonitoring |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4102-4102 | organizationalObjective UnitedNationsMissionOfObserversInTajikistan and ObservationAndMonitoring |
| 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 4117-4117 | organizationalObjective UnitedNationsObserverMissionInGeorgia and ObservationAndMonitoring |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4124-4124 | organizationalObjective UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo and ObservationAndMonitoring |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4144-4144 | organizationalObjective UnitedNationsPreventiveDeploymentForce and ObservationAndMonitoring |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4245-4245 | organizationalObjective UnitedNationsTruceSupervisionOrganization and ObservationAndMonitoring |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2633-2633 | WeaponsInspection est un sous-attribut de ObservationAndMonitoring |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41560-41560 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41559-41559 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41558-41558 |
|
|
|