|
| 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 3785-3785 | The month September is a date established of organization of the islamic conference |
| 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 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3817-3817 | The day 29 is a date established of permanent court of arbitration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3834-3834 | The day 8 is a date established of south asian association for regional cooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3848-3848 | The day 11 is a date established of southern african customs union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3857-3857 | The day 17 is a date established of southern african development community |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3866-3866 | The day 26 is a date established of southern cone common market |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3872-3872 | The day 26 is a date established of united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3890-3890 | The day 11 is a date established of united nations childrens fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3896-3896 | The day 28 is a date established of united nations civilian police mission in haiti |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3902-3902 | The day 30 is a date established of united nations conference on trade and development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3908-3908 | The day 22 is a date established of united nations development program |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3916-3916 | The day 31 is a date established of united nations disengagement observer force |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3926-3926 | The day 16 is a date established of united nations educational scientific and cultural organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3934-3934 | The day 15 is a date established of united nations environment program |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3940-3940 | The day 26 is a date established of united nations general assembly |
| 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