|
|
   OrganizationOfNations
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2492-2493 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2490-2490 | OrganizationOfNations est une sous-classe de InternationalOrganization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2838-2838 | ASEANRegionalForum est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2711-2711 | AfricanCaribbeanAndPacificGroupOfStates est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2717-2717 | AfricanDevelopmentBank est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2725-2725 | AgencyForTheFrenchSpeakingCommunity est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2737-2737 | AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2746-2746 | AndeanCommunityOfNations est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2763-2763 | AntarcticTreatyCouncil est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2771-2771 | ArabBankForEconomicDevelopmentInAfrica est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2779-2779 | ArabCooperationCouncil est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2785-2785 | ArabFundForEconomicAndSocialDevelopment est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2792-2792 | ArabLeague est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2803-2803 | ArabMaghrebUnion est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2812-2812 | ArabMonetaryFund est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2818-2818 | AsiaPacificEconomicCooperation est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2824-2824 | AsianDevelopmentBank est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2830-2830 | AssociationOfSoutheastAsianNations est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2845-2845 | AustraliaGroup est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2850-2850 | AustraliaNewZealandUnitedStatesSecurityTreaty est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2856-2856 | BankForInternationalSettlements est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2862-2862 | BeneluxEconomicUnion est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2871-2871 | BigSeven est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2876-2876 | BigSix est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2882-2882 | BlackSeaEconomicCooperationZone est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2889-2889 | CaribbeanCommunityAndCommonMarket est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2896-2896 | CaribbeanDevelopmentBank est une instance de OrganizationOfNations |
| 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 2495-2499 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3063-3067 |
|
|
|
|