formerName |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3553-3553 | "Intergovernmental Maritime Consultative Organization" is a former name for international maritime organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4327-4327 | "International Federation of Christian Trade Unions" is a former name for world confederation of labor |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3534-3534 | "International Hydrographic Bureau" is a former name for international hydrographic organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3611-3611 | "International Telegraph Union" is a former name for international telecommunication union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3751-3751 | "International Union of American Republics" is a former name for organization of american states |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3507-3507 | "LORCS" is a former name for international federation of red cross and red crescent societies |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3506-3506 | "League of Red Cross and Red Crescent Societies" is a former name for international federation of red cross and red crescent societies |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3698-3698 | "London Group" is a former name for nuclear suppliers group |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3697-3697 | "London Suppliers Group" is a former name for nuclear suppliers group |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 363-363 | "NIC" is a former name for newly industrializing economy |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4228-4228 | "New Hebrides" is a former name for vanuatu |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 362-362 | "Newly Industrializing Countries" is a former name for newly industrializing economy |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3156-3156 | "North Atlantic Cooperation Council" is a former name for euro atlantic partnership council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3582-3582 | "Provisional Intergovernmental Committee for the Movement of Migrants from Europe" is a former name for international organization for migration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2963-2963 | "Quadrilateral Initiative" is a former name for central european initiative |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3856-3856 | "SADCC" is a former name for southern african development community |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3794-3794 | "SPC" is a former name for pacific community |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 186-186 | "Second World" is a former name for former soviet or eastern european country |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3793-3793 | "South Pacific Commission" is a former name for pacific community |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3801-3801 | "South Pacific Forum" is a former name for pacific island forum |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3855-3855 | "Southern African Development Coordination Conference" is a former name for southern african development community |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 208-208 | "Third World" is a former name for less developed country |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3649-3649 | "UDEAC" is a former name for monetary and economic community of central africa |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4135-4135 | "UN Fund for Population Activities" is a former name for united nations population fund |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3889-3889 | "UN International Childrens Emergency Fund" is a former name for united nations childrens fund |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |