|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 227-227 | "LDC" is an abbreviation of less developed country |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 404-404 | "LLDC" is an abbreviation of least developed country |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3257-3257 | "LOS" is an abbreviation of law of the sea convention |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4065-4065 | "MINURSO" is an abbreviation of united nations mission for the referendum in western sahara |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3895-3895 | "MIPONUH" is an abbreviation of united nations civilian police mission in haiti |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4122-4122 | "MONUC" is an abbreviation of united nations organization mission in the democratic republic of the congo |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3864-3864 | "Mercosur" is an abbreviation of southern cone common market |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3655-3655 | "NAM" is an abbreviation of nonaligned movement |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3682-3682 | "NATO" is an abbreviation of north atlantic treaty organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3666-3666 | "NC" is an abbreviation of nordic council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3689-3689 | "NEA" is an abbreviation of nuclear energy agency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3674-3674 | "NIB" is an abbreviation of nordic investment bank |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 361-361 | "NIE" is an abbreviation of newly industrializing economy |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3696-3696 | "NSG" is an abbreviation of nuclear suppliers group |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3764-3764 | "OAPEC" is an abbreviation of organization of arab petroleum exporting countries |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3750-3750 | "OAS" is an abbreviation of organization of american states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3734-3734 | "OAU" is an abbreviation of organization of african unity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3704-3704 | "OECD" is an abbreviation of organization for economic cooperation and development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3770-3770 | "OECS" is an abbreviation of organization of eastern caribbean states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3784-3784 | "OIC" is an abbreviation of organization of the islamic conference |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2775-2775 | "OPANAL" is an abbreviation 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 3727-3727 | "OPCW" is an abbreviation of organization for the prohibition of chemical weapons |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3778-3778 | "OPEC" is an abbreviation of organization of petroleum exporting countries |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3711-3711 | "OSCE" is an abbreviation of organization for security and cooperation in europe |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3816-3816 | "PCA" is an abbreviation of permanent court of arbitration |
| 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