|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3276-3276 | Group of3 is a conventional long name of "Group of 3" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3282-3282 | Group of5 is a conventional long name of "Group of 5" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3288-3288 | Group of6 is a conventional long name of "Group of 6" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3295-3295 | Group of7 is a conventional long name of "Group of 7" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3359-3359 | Group of77 is a conventional long name of "Group of 77" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3305-3305 | Group of8 is a conventional long name of "Group of 8" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3315-3315 | Group of9 is a conventional long name of "Group of 9" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3365-3365 | Gulf cooperation council is a conventional long name of "Gulf Cooperation Council" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3374-3374 | Indian ocean commission is a conventional long name of "Indian Ocean Commission" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3381-3381 | Inter american development bank is a conventional long name of "Inter-American Development Bank" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3390-3390 | Inter governmental authority on development is a conventional long name of "Inter-Governmental Authority on Development" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3405-3405 | International atomic energy agency is a conventional long name of "International Atomic Energy Agency" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3411-3411 | International bank for reconstruction and development is a conventional long name of "International Bank for Reconstruction and Development" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3419-3419 | International chamber of commerce is a conventional long name of "International Chamber of Commerce" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3427-3427 | International civil aviation organization is a conventional long name of "International Civil Aviation Organization" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3434-3434 | International committee of the red cross is a conventional long name of "International Committee of the Red Cross" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3441-3441 | International confederation of free trade unions is a conventional long name of "International Confederation of Free Trade Unions" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3319-3319 | Whaling convention is a conventional long name of "International Convention for the Regulation of Whaling" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3448-3448 | International court of justice is a conventional long name of "International Court of Justice" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3476-3476 | International criminal police organization is a conventional long name of "International Criminal Police Organization" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4211-4211 | International criminal tribunal for rwanda is a conventional long name of "International Criminal Tribunal for Rwanda" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4205-4205 | International criminal tribunal for the former yugoslavia is a conventional long name of "International Criminal Tribunal for the Former Yugoslavia" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3487-3487 | International development association is a conventional long name of "International Development Association" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3494-3494 | International energy agency is a conventional long name of "International Energy Agency" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3504-3504 | International federation of red cross and red crescent societies is a conventional long name of "International Federation of Red Cross and Red Crescent Societies" |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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