|
|
   ControllingAnAccount
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5978-5978 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2678-2678 | EconomicDevelopment e' uma instancia de AreaOfConcern |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2758-2758 | organizationalObjective AfricanDevelopmentBank and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2813-2813 | organizationalObjective ArabBankForEconomicDevelopmentInAfrica and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2825-2825 | organizationalObjective ArabFundForEconomicAndSocialDevelopment and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2930-2930 | organizationalObjective CaribbeanCommunityAndCommonMarket and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2936-2936 | organizationalObjective CaribbeanDevelopmentBank and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2944-2944 | organizationalObjective CentralAfricanStatesDevelopmentBank and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2952-2952 | organizationalObjective CentralAmericanBankForEconomicIntegration and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2973-2973 | organizationalObjective ColomboPlan and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3036-3036 | organizationalObjective CouncilOfTheBalticSeaStates and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3061-3061 | organizationalObjective EastAfricanDevelopmentBank and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3073-3073 | organizationalObjective EconomicAndSocialCouncil and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3148-3148 | organizationalObjective EconomicCooperationOrganization and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3166-3166 | organizationalObjective EuropeanBankForReconstructionAndDevelopment and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3190-3190 | organizationalObjective EuropeanInvestmentBank and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3386-3386 | organizationalObjective InterAmericanDevelopmentBank and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3415-3415 | organizationalObjective InternationalBankForReconstructionAndDevelopment and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3491-3491 | organizationalObjective InternationalDevelopmentAssociation and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3569-3569 | organizationalObjective InternationalMonetaryFund and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3624-3624 | organizationalObjective IslamicDevelopmentBank and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3633-3633 | organizationalObjective LatinAmericanEconomicSystem and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3677-3677 | organizationalObjective NordicInvestmentBank and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3706-3706 | organizationalObjective OrganizationForEconomicCooperationAndDevelopment and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3744-3744 | organizationalObjective OrganizationOfAfricanUnity and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3758-3758 | organizationalObjective OrganizationOfAmericanStates and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3859-3859 | organizationalObjective SouthernAfricanDevelopmentCommunity and EconomicDevelopment |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|
