|
|
   AppleFastAppSwitcher
|
|
|
| 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 est une sous-classe de organisation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3078-3078 | CommissionForSocialDevelopment est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3080-3080 | CommissionOnCrimePreventionAndCriminalJustice est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3082-3082 | CommissionOnHumanRights est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3084-3084 | CommissionOnNarcoticsDrugs est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3086-3086 | CommissionOnPopulationAndDevelopment est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3088-3088 | CommissionOnScienceAndTechnologyForDevelopment est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3090-3090 | CommissionOnSustainableDevelopment est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3092-3092 | CommissionOnTheStatusOfWomen est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3094-3094 | EconomicAndSocialCommissionForAsiaAndThePacific est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3096-3096 | EconomicAndSocialCommissionForWesternAsia est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3098-3098 | EconomicCommissionForAfrica est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3100-3100 | EconomicCommissionForEurope est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3102-3102 | EconomicCommissionForLatinAmericaAndTheCaribbean est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3112-3112 | InternationalAirTransportAssociation est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3107-3107 | InternationalCenterForSecretariatOfInvestmentDisputes est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3433-3433 | InternationalCommitteeOfTheRedCross est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3446-3446 | InternationalCourtOfJustice est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4210-4210 | InternationalCriminalTribunalForRwanda est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4204-4204 | InternationalCriminalTribunalForTheFormerYugoslavia est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3597-3597 | InternationalRedCrossAndRedCrescentMovement est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3117-3117 | MulitlateralInvestmentGeographicAgency est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3119-3119 | StatisticalCommission est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4216-4216 | UnitedNationsCompensationCommission est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3977-3977 | UnitedNationsHighCommissionerForHumanRights est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3983-3983 | UnitedNationsInstituteForDisarmamentResearch est une instance 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 |
|
|
|
|