organizationalObjective |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2598-2600 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2593-2593 | Le nombre 1 argument de organizationalObjective est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2594-2594 | Le nombre 2 argument de organizationalObjective est une instance de AreaOfConcern |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2592-2592 | organizationalObjective est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2595-2595 | organizationalObjective est une sous-relation de attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1859-1859 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1858-1858 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1857-1857 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42498-42498 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42497-42497 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42496-42496 |
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 2371-2377 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2602-2606 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2602-2606 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2879-2879 | organizationalObjective ASEANRegionalForum and RegionalSecurity |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2751-2751 | organizationalObjective AfricanCaribbeanAndPacificGroupOfStates and EconomicCooperation |
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 2759-2759 | organizationalObjective AfricanDevelopmentBank and SocialDevelopment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2779-2779 | organizationalObjective AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and NuclearNonproliferation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2780-2780 | organizationalObjective AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and PeacefulUseOfAtomicPower |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2797-2797 | organizationalObjective AndeanCommunityOfNations and EconomicIntegration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2802-2802 | organizationalObjective AntarcticTreatyCouncil and AdministrationAndManagement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2803-2803 | organizationalObjective AntarcticTreatyCouncil and PromoteRegionalStability |
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 2819-2819 | organizationalObjective ArabCooperationCouncil and EconomicIntegration |
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 2826-2826 | organizationalObjective ArabFundForEconomicAndSocialDevelopment and SocialDevelopment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2834-2834 | organizationalObjective ArabLeague and EconomicCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2837-2837 | organizationalObjective ArabLeague and MilitaryCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2836-2836 | organizationalObjective ArabLeague and PoliticalCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2835-2835 | organizationalObjective ArabLeague and SocialCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2844-2844 | organizationalObjective ArabMaghrebUnion and CulturalCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2843-2843 | organizationalObjective ArabMaghrebUnion and EconomicIntegration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2846-2846 | organizationalObjective ArabMaghrebUnion and MilitaryCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2845-2845 | organizationalObjective ArabMaghrebUnion and PoliticalCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2852-2852 | organizationalObjective ArabMonetaryFund and EconomicCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2858-2858 | organizationalObjective AsiaPacificEconomicCooperation and PromotionOfTradeAndInvestment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2864-2864 | organizationalObjective AsianDevelopmentBank and EconomicCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2872-2872 | organizationalObjective AssociationOfSoutheastAsianNations and CulturalCooperation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |