|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3435-3435 | "ICRC" is an abbreviation of international committee of the red cross |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3599-3599 | "ICRM" is an abbreviation of international red cross and red crescent movement |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4212-4212 | "ICTR" is an abbreviation of international criminal tribunal for rwanda |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4206-4206 | "ICTY" is an abbreviation of international criminal tribunal for the former yugoslavia |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3488-3488 | "IDA" is an abbreviation of international development association |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3622-3622 | "IDB" is an abbreviation of islamic development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3495-3495 | "IEA" is an abbreviation of international energy agency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3526-3526 | "IFAD" is an abbreviation of international fund for agricultural development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3513-3513 | "IFC" is an abbreviation of international finance corporation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3505-3505 | "IFRCS" is an abbreviation of international federation of red cross and red crescent societies |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3391-3391 | "IGAD" is an abbreviation of inter governmental authority on development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3533-3533 | "IHO" is an abbreviation of international hydrographic organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3541-3541 | "ILO" is an abbreviation of international labor organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3566-3566 | "IMF" is an abbreviation of international monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3552-3552 | "IMO" is an abbreviation of international maritime organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3963-3963 | "INSTRAW" is an abbreviation of international research and training institute for the advancement of women |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3574-3574 | "IOC" is an abbreviation of international olympic committee |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3581-3581 | "IOM" is an abbreviation of international organization for migration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3592-3592 | "ISO" is an abbreviation of international organization for standardization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3609-3609 | "ITU" is an abbreviation of international telecommunication union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3375-3375 | "InOC" is an abbreviation of indian ocean commission |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3477-3477 | "Interpol" is an abbreviation of international criminal police organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3629-3629 | "LAES" is an abbreviation of latin american economic system |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3638-3638 | "LAIA" is an abbreviation of latin american integration association |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2832-2832 | "LAS" is an abbreviation of arab league |
| 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