|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3195-3195 | "EMU" is an abbreviation of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3246-3246 | "ESA" is an abbreviation of european space agency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3253-3253 | "EU" is an abbreviation of european union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3264-3264 | "FAO" is an abbreviation of food and agriculture organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3271-3271 | "FZ" is an abbreviation of franc zone |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3321-3321 | "G-10" is an abbreviation of group of10 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3334-3334 | "G-11" is an abbreviation of group of11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3340-3340 | "G-15" is an abbreviation of group of15 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3350-3350 | "G-24" is an abbreviation of group of24 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3277-3277 | "G-3" is an abbreviation of group of3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3283-3283 | "G-5" is an abbreviation of group of5 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3289-3289 | "G-6" is an abbreviation of group of6 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3296-3296 | "G-7" is an abbreviation of group of7 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3360-3360 | "G-77" is an abbreviation of group of77 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3306-3306 | "G-8" is an abbreviation of group of8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3316-3316 | "G-9" is an abbreviation of group of9 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3366-3366 | "GCC" is an abbreviation of gulf cooperation council |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 840-840 | "GUI" is an abbreviation of graphical user interface |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3382-3382 | "IADB" is an abbreviation of inter american development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3406-3406 | "IAEA" is an abbreviation of international atomic energy agency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3413-3413 | "IBRD" is an abbreviation of international bank for reconstruction and development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3428-3428 | "ICAO" is an abbreviation of international civil aviation organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3420-3420 | "ICC" is an abbreviation of international chamber of commerce |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3442-3442 | "ICFTU" is an abbreviation of international confederation of free trade unions |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3449-3449 | "ICJ" is an abbreviation of international court of justice |
| 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