organizationalObjective |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2562-2564 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2557-2557 | O argumento numero 1 de organizationalObjective e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2558-2558 | O argumento numero 2 de organizationalObjective e' uma instancia de AreaOfConcern |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2556-2556 | organizationalObjective e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2559-2559 | organizationalObjective e' uma sub-relacao 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 42500-42500 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42499-42499 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42498-42498 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2578-2582 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2335-2341 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2566-2570 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2566-2570 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2843-2843 | organizationalObjective ASEANRegionalForum and RegionalSecurity |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2715-2715 | organizationalObjective AfricanCaribbeanAndPacificGroupOfStates and EconomicCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2722-2722 | organizationalObjective AfricanDevelopmentBank and EconomicDevelopment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2723-2723 | organizationalObjective AfricanDevelopmentBank and SocialDevelopment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2743-2743 | organizationalObjective AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and NuclearNonproliferation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2744-2744 | organizationalObjective AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and PeacefulUseOfAtomicPower |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2761-2761 | organizationalObjective AndeanCommunityOfNations and EconomicIntegration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2766-2766 | organizationalObjective AntarcticTreatyCouncil and AdministrationAndManagement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2767-2767 | organizationalObjective AntarcticTreatyCouncil and PromoteRegionalStability |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2777-2777 | organizationalObjective ArabBankForEconomicDevelopmentInAfrica and EconomicDevelopment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2783-2783 | organizationalObjective ArabCooperationCouncil and EconomicIntegration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2789-2789 | organizationalObjective ArabFundForEconomicAndSocialDevelopment and EconomicDevelopment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2790-2790 | organizationalObjective ArabFundForEconomicAndSocialDevelopment and SocialDevelopment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2798-2798 | organizationalObjective ArabLeague and EconomicCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2801-2801 | organizationalObjective ArabLeague and MilitaryCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2800-2800 | organizationalObjective ArabLeague and PoliticalCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2799-2799 | organizationalObjective ArabLeague and SocialCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2808-2808 | organizationalObjective ArabMaghrebUnion and CulturalCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2807-2807 | organizationalObjective ArabMaghrebUnion and EconomicIntegration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2810-2810 | organizationalObjective ArabMaghrebUnion and MilitaryCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2809-2809 | organizationalObjective ArabMaghrebUnion and PoliticalCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2816-2816 | organizationalObjective ArabMonetaryFund and EconomicCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2822-2822 | organizationalObjective AsiaPacificEconomicCooperation and PromotionOfTradeAndInvestment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2828-2828 | organizationalObjective AsianDevelopmentBank and EconomicCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2836-2836 | organizationalObjective AssociationOfSoutheastAsianNations and CulturalCooperation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |