YearFn |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3394-3394 | The day 21 is a date established of inter governmental authority on development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3407-3407 | The day 26 is a date established of international atomic energy agency |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3414-3414 | The day 22 is a date established of international bank for reconstruction and development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3421-3421 | The year 1919 is a date established of international chamber of commerce |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3429-3429 | The day 7 is a date established of international civil aviation organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3437-3437 | The day 17 is a date established of international committee of the red cross |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3443-3443 | The month December is a date established of international confederation of free trade unions |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3451-3451 | The day 3 is a date established of international court of justice |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3478-3478 | The day 13 is a date established of international criminal police organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4214-4214 | The day 8 is a date established of international criminal tribunal for rwanda |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4207-4207 | The day 25 is a date established of international criminal tribunal for the former yugoslavia |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3489-3489 | The day 26 is a date established of international development association |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3496-3496 | The day 15 is a date established of international energy agency |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3508-3508 | The day 5 is a date established of international federation of red cross and red crescent societies |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3514-3514 | The day 25 is a date established of international finance corporation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3527-3527 | The month November is a date established of international fund for agricultural development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3535-3535 | The month June is a date established of international hydrographic organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3542-3542 | The day 28 is a date established of international labor organization |
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 3593-3593 | The month February is a date established of international organization for standardization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3600-3600 | The year 1928 is a date established of international red cross and red crescent movement |
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 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |