| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2489-2490 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2487-2487 | 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 2835-2835 | ASEAN regional forum is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2708-2708 | 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 2714-2714 | African development bank is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2722-2722 | 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 2734-2734 | 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 2743-2743 | Andean community of nations is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2760-2760 | Antarctic treaty council is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2768-2768 | 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 2776-2776 | Arab cooperation council is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2782-2782 | 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 2789-2789 | Arab league is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2800-2800 | Arab maghreb union is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2809-2809 | Arab monetary fund is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2815-2815 | Asia pacific economic cooperation is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2821-2821 | Asian development bank is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2827-2827 | 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 2842-2842 | Australia group is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2847-2847 | 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 2853-2853 | Bank for international settlements is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2859-2859 | Benelux economic union is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2868-2868 | Big seven is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2873-2873 | Big six is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2879-2879 | 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 2886-2886 | 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 2893-2893 | 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 2492-2496 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3051-3055 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners