|
|
   InternationalOrganization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2512-2514 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2510-2510 | InternationalOrganization e' uma sub-classe de Organizacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3078-3078 | CommissionForSocialDevelopment e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3080-3080 | CommissionOnCrimePreventionAndCriminalJustice e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3082-3082 | CommissionOnHumanRights e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3084-3084 | CommissionOnNarcoticsDrugs e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3086-3086 | CommissionOnPopulationAndDevelopment e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3088-3088 | CommissionOnScienceAndTechnologyForDevelopment e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3090-3090 | CommissionOnSustainableDevelopment e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3092-3092 | CommissionOnTheStatusOfWomen e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3094-3094 | EconomicAndSocialCommissionForAsiaAndThePacific e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3096-3096 | EconomicAndSocialCommissionForWesternAsia e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3098-3098 | EconomicCommissionForAfrica e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3100-3100 | EconomicCommissionForEurope e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3102-3102 | EconomicCommissionForLatinAmericaAndTheCaribbean e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3112-3112 | InternationalAirTransportAssociation e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3107-3107 | InternationalCenterForSecretariatOfInvestmentDisputes e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3433-3433 | InternationalCommitteeOfTheRedCross e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3446-3446 | InternationalCourtOfJustice e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4210-4210 | InternationalCriminalTribunalForRwanda e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4204-4204 | InternationalCriminalTribunalForTheFormerYugoslavia e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3597-3597 | InternationalRedCrossAndRedCrescentMovement e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3117-3117 | MulitlateralInvestmentGeographicAgency e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3119-3119 | StatisticalCommission e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4216-4216 | UnitedNationsCompensationCommission e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3977-3977 | UnitedNationsHighCommissionerForHumanRights e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3983-3983 | UnitedNationsInstituteForDisarmamentResearch e' uma instancia de InternationalOrganization |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2614-2618 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2516-2524 |
|
|
|
|