| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2490-2491 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2488-2488 | 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 2836-2836 | ASEAN regional forum is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2709-2709 | 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 2715-2715 | African development bank is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2723-2723 | 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 2735-2735 | 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 2744-2744 | Andean community of nations is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2761-2761 | Antarctic treaty council is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2769-2769 | 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 2777-2777 | Arab cooperation council is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2783-2783 | 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 2790-2790 | Arab league is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2801-2801 | Arab maghreb union is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2810-2810 | Arab monetary fund is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2816-2816 | Asia pacific economic cooperation is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2822-2822 | Asian development bank is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2828-2828 | 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 2843-2843 | Australia group is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2848-2848 | 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 2854-2854 | Bank for international settlements is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2860-2860 | Benelux economic union is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2869-2869 | Big seven is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2874-2874 | Big six is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2880-2880 | 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 2887-2887 | 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 2894-2894 | 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 2493-2497 |
|
| 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