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 | Organization of nations is a subclass of international organization |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2874-2874 | ASEAN regional forum is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2747-2747 | African caribbean and pacific group of states is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2753-2753 | African development bank is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2761-2761 | Agency for the french speaking community is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2773-2773 | Agency for the prohibition of nuclear weapons in latin america and the caribbean is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2782-2782 | Andean community of nations is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2799-2799 | Antarctic treaty council is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2807-2807 | Arab bank for economic development in africa is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2815-2815 | Arab cooperation council is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2821-2821 | Arab fund for economic and social development is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2828-2828 | Arab league is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2839-2839 | Arab maghreb union is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2848-2848 | Arab monetary fund is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2854-2854 | Asia pacific economic cooperation is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2860-2860 | Asian development bank is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2866-2866 | Association of southeast asian nations is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2881-2881 | Australia group is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2886-2886 | Australia new zealand united states security treaty is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2892-2892 | Bank for international settlements is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2898-2898 | Benelux economic union is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2907-2907 | Big seven is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2912-2912 | Big six is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2918-2918 | Black sea economic cooperation zone is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2925-2925 | Caribbean community and common market is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2932-2932 | Caribbean development bank is an instance of organization of nations |
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 |
|