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 | The number 1 argument of organizational objective is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2594-2594 | The number 2 argument of organizational objective is an instance of area of concern |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2592-2592 | organizational objective is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2595-2595 | organizational objective is a subrelation of 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 | Regional security is an organizational objective of ASEAN regional forum |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2751-2751 | Economic cooperation is an organizational objective of african caribbean and pacific group of states |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2758-2758 | Economic development is an organizational objective of african development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2759-2759 | Social development is an organizational objective of african development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2779-2779 | Nuclear nonproliferation is an organizational objective of agency for the prohibition of nuclear weapons in latin america and the caribbean |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2780-2780 | Peaceful use of atomic power is an organizational objective of agency for the prohibition of nuclear weapons in latin america and the caribbean |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2797-2797 | Economic integration is an organizational objective of andean community of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2802-2802 | Administration and management is an organizational objective of antarctic treaty council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2803-2803 | Promote regional stability is an organizational objective of antarctic treaty council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2813-2813 | Economic development is an organizational objective of arab bank for economic development in africa |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2819-2819 | Economic integration is an organizational objective of arab cooperation council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2825-2825 | Economic development is an organizational objective of arab fund for economic and social development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2826-2826 | Social development is an organizational objective of arab fund for economic and social development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2834-2834 | Economic cooperation is an organizational objective of arab league |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2837-2837 | Military cooperation is an organizational objective of arab league |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2836-2836 | Political cooperation is an organizational objective of arab league |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2835-2835 | Social cooperation is an organizational objective of arab league |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2844-2844 | Cultural cooperation is an organizational objective of arab maghreb union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2843-2843 | Economic integration is an organizational objective of arab maghreb union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2846-2846 | Military cooperation is an organizational objective of arab maghreb union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2845-2845 | Political cooperation is an organizational objective of arab maghreb union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2852-2852 | Economic cooperation is an organizational objective of arab monetary fund |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2858-2858 | Promotion of trade and investment is an organizational objective of asia pacific economic cooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2864-2864 | Economic cooperation is an organizational objective of asian development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2872-2872 | Cultural cooperation is an organizational objective of association of southeast asian nations |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |