No TPTP formula. May not be expressible in strict first order.	Government.kif 3051-3051	World customs organization is a conventional long name of "Customs Cooperation Council"
No TPTP formula. May not be expressible in strict first order.	Economy.kif 128-128	Developed country is a conventional long name of "Developed Country"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3058-3058	East african development bank is a conventional long name of "East African Development Bank"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3138-3138	Economic community of west african states is a conventional long name of "Economic Community of West African States"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3131-3131	Economic community of the great lakes countries is a conventional long name of "Economic Community of the Great Lakes Countries"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3144-3144	Economic cooperation organization is a conventional long name of "Economic Cooperation Organization"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3064-3064	Economic and social council is a conventional long name of "Economic and Social Council"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3154-3154	Euro atlantic partnership council is a conventional long name of "Euro-Atlantic Partnership Council"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3163-3163	European bank for reconstruction and development is a conventional long name of "European Bank for Reconstruction and Development"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3174-3174	European community is a conventional long name of "European Communities"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3173-3173	European community is a conventional long name of "European Community"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3194-3194	European monetary union is a conventional long name of "European Economic and Monetary Union"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3181-3181	European free trade association is a conventional long name of "European Free Trade Association"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3187-3187	European investment bank is a conventional long name of "European Investment Bank"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3193-3193	European monetary union is a conventional long name of "European Monetary Union"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3236-3236	European organization for nuclear research is a conventional long name of "European Organization for Nuclear Research"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3245-3245	European space agency is a conventional long name of "European Space Agency"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3252-3252	European union is a conventional long name of "European Union"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4210-4210	Micronesia is a conventional long name of "Federated States of Micronesia"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3263-3263	Food and agriculture organization is a conventional long name of "Food and Agriculture Organization"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3269-3269	Franc zone is a conventional long name of "Franc Zone"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3320-3320	Group of10 is a conventional long name of "Group of 10"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3332-3332	Group of11 is a conventional long name of "Group of 11"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3339-3339	Group of15 is a conventional long name of "Group of 15"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3349-3349	Group of24 is a conventional long name of "Group of 24"
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