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

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