|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3555-3555 | The day 6 is a date established of international maritime organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3567-3567 | The day 22 is a date established of international monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3575-3575 | The day 23 is a date established of international olympic committee |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3587-3587 | The day 5 is a date established of international organization for migration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3610-3610 | The day 17 is a date established of international telecommunication union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3623-3623 | The day 15 is a date established of islamic development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3632-3632 | The day 17 is a date established of latin american economic system |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3641-3641 | The day 12 is a date established of latin american integration association |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3650-3650 | The day 8 is a date established of monetary and economic community of central africa |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3656-3656 | The day 6 is a date established of nonaligned movement |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3667-3667 | The day 16 is a date established of nordic council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3675-3675 | The day 4 is a date established of nordic investment bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3683-3683 | The day 4 is a date established of north atlantic treaty organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3690-3690 | The day 1 is a date established of nuclear energy agency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3705-3705 | The day 14 is a date established of organization for economic cooperation and development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3714-3714 | The day 1 is a date established of organization for security and cooperation in europe |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3728-3728 | The day 29 is a date established of organization for the prohibition of chemical weapons |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3735-3735 | The day 25 is a date established of organization of african unity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3752-3752 | The day 14 is a date established of organization of american states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3765-3765 | The day 9 is a date established of organization of arab petroleum exporting countries |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3771-3771 | The day 18 is a date established of organization of eastern caribbean states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3779-3779 | The day 14 is a date established of organization of petroleum exporting countries |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3795-3795 | The day 6 is a date established of pacific community |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3802-3802 | The day 5 is a date established of pacific island forum |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3808-3808 | The day 11 is a date established of partnership for peace |
| 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