|
|
   OrganizationOfNations
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2528-2529 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2526-2526 | OrganizationOfNations e' uma sub-classe de InternationalOrganization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2874-2874 | ASEANRegionalForum e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2747-2747 | AfricanCaribbeanAndPacificGroupOfStates e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2753-2753 | AfricanDevelopmentBank e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2761-2761 | AgencyForTheFrenchSpeakingCommunity e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2773-2773 | AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2782-2782 | AndeanCommunityOfNations e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2799-2799 | AntarcticTreatyCouncil e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2807-2807 | ArabBankForEconomicDevelopmentInAfrica e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2815-2815 | ArabCooperationCouncil e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2821-2821 | ArabFundForEconomicAndSocialDevelopment e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2828-2828 | ArabLeague e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2839-2839 | ArabMaghrebUnion e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2848-2848 | ArabMonetaryFund e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2854-2854 | AsiaPacificEconomicCooperation e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2860-2860 | AsianDevelopmentBank e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2866-2866 | AssociationOfSoutheastAsianNations e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2881-2881 | AustraliaGroup e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2886-2886 | AustraliaNewZealandUnitedStatesSecurityTreaty e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2892-2892 | BankForInternationalSettlements e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2898-2898 | BeneluxEconomicUnion e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2907-2907 | BigSeven e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2912-2912 | BigSix e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2918-2918 | BlackSeaEconomicCooperationZone e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2925-2925 | CaribbeanCommunityAndCommonMarket e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2932-2932 | CaribbeanDevelopmentBank e' uma instancia 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 2531-2535 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3063-3067 |
|
|
|
|