No TPTP formula. May not be expressible in strict first order.	Government.kif 3553-3553	"Intergovernmental Maritime Consultative Organization" 是對於 國際海事組織 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 4327-4327	"International Federation of Christian Trade Unions" 是對於 世界勞工聯合會 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3534-3534	"International Hydrographic Bureau" 是對於 國際水文組織 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3611-3611	"International Telegraph Union" 是對於 國際電信聯盟 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3751-3751	"International Union of American Republics" 是對於 美國各州的組織 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3507-3507	"LORCS" 是對於 國際紅十字會和紅新月會聯合會 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3506-3506	"League of Red Cross and Red Crescent Societies" 是對於 國際紅十字會和紅新月會聯合會 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3698-3698	"London Group" 是對於 核供應國集團 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3697-3697	"London Suppliers Group" 是對於 核供應國集團 的 former name
No TPTP formula. May not be expressible in strict first order.	Economy.kif 363-363	"NIC" 是對於 新興工業化經濟 的 former name
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4228-4228	"New Hebrides" 是對於 瓦努阿圖 的 former name
No TPTP formula. May not be expressible in strict first order.	Economy.kif 362-362	"Newly Industrializing Countries" 是對於 新興工業化經濟 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3156-3156	"North Atlantic Cooperation Council" 是對於 歐洲大西洋夥伴關係委員會 的 former name
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" 是對於 國際移民組織 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 2963-2963	"Quadrilateral Initiative" 是對於 中歐倡議 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3856-3856	"SADCC" 是對於 南部非洲發展社區 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3794-3794	"SPC" 是對於 太平洋社區 的 former name
No TPTP formula. May not be expressible in strict first order.	Economy.kif 186-186	"Second World" 是對於 前蘇聯或東歐國家 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3793-3793	"South Pacific Commission" 是對於 太平洋社區 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3801-3801	"South Pacific Forum" 是對於 太平洋島嶼論壇 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3855-3855	"Southern African Development Coordination Conference" 是對於 南部非洲發展社區 的 former name
No TPTP formula. May not be expressible in strict first order.	Economy.kif 208-208	"Third World" 是對於 較未發達國家 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3649-3649	"UDEAC" 是對於 中非貨幣和經濟共同體 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 4135-4135	"UN Fund for Population Activities" 是對於 聯合國人口基金 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3889-3889	"UN International Childrens Emergency Fund" 是對於 聯合國兒童基金會 的 former name
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