No TPTP formula. May not be expressible in strict first order.	Government.kif 3015-3015	"CCC" is an abbreviation of world customs organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2896-2896	"CDB" is an abbreviation of caribbean development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 2986-2986	"CE" is an abbreviation of council of europe
No TPTP formula. May not be expressible in strict first order.	Government.kif 2924-2924	"CEI" is an abbreviation of central european initiative
No TPTP formula. May not be expressible in strict first order.	Government.kif 2967-2967	"CEMA" is an abbreviation of council for mutual economic assistance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3609-3609	"CEMAC" is an abbreviation of monetary and economic community of central africa
No TPTP formula. May not be expressible in strict first order.	Government.kif 3094-3094	"CEPGL" is an abbreviation of economic community of the great lakes countries
No TPTP formula. May not be expressible in strict first order.	Government.kif 3199-3199	"CERN" is an abbreviation of european organization for nuclear research
No TPTP formula. May not be expressible in strict first order.	Government.kif 2948-2948	"CIS" is an abbreviation of commonwealth of independent states
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3223-3223	"CITES" is an abbreviation of endangered species convention
No TPTP formula. May not be expressible in strict first order.	Government.kif 2968-2968	"CMEA" is an abbreviation of council for mutual economic assistance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2954-2954	"COCOM" is an abbreviation of coordinating committee on export controls
No TPTP formula. May not be expressible in strict first order.	Government.kif 2933-2933	"CP" is an abbreviation of colombo plan
No TPTP formula. May not be expressible in strict first order.	Government.kif 2889-2889	"Caricom" is an abbreviation of caribbean community and common market
No TPTP formula. May not be expressible in strict first order.	Government.kif 2969-2969	"Comecon" is an abbreviation of council for mutual economic assistance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2629-2629	"DDT" is an abbreviation of DDT
No TPTP formula. May not be expressible in strict first order.	Government.kif 3021-3021	"EADB" is an abbreviation of east african development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3117-3117	"EAPC" is an abbreviation of euro atlantic partnership council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3126-3126	"EBRD" is an abbreviation of european bank for reconstruction and development
No TPTP formula. May not be expressible in strict first order.	Government.kif 3137-3137	"EC" is an abbreviation of european community
No TPTP formula. May not be expressible in strict first order.	Government.kif 3107-3107	"ECO" is an abbreviation of economic cooperation organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3027-3027	"ECOSOC" is an abbreviation of economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3101-3101	"ECOWAS" is an abbreviation of economic community of west african states
No TPTP formula. May not be expressible in strict first order.	Government.kif 3144-3144	"EFTA" is an abbreviation of european free trade association
No TPTP formula. May not be expressible in strict first order.	Government.kif 3150-3150	"EIB" is an abbreviation of european investment bank
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