No TPTP formula. May not be expressible in strict first order.	Government.kif 3053-3053	"CCC" is an abbreviation of world customs organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2934-2934	"CDB" is an abbreviation of caribbean development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3024-3024	"CE" is an abbreviation of council of europe
No TPTP formula. May not be expressible in strict first order.	Government.kif 2962-2962	"CEI" is an abbreviation of central european initiative
No TPTP formula. May not be expressible in strict first order.	Government.kif 3005-3005	"CEMA" is an abbreviation of council for mutual economic assistance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3647-3647	"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 3132-3132	"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 3237-3237	"CERN" is an abbreviation of european organization for nuclear research
No TPTP formula. May not be expressible in strict first order.	Government.kif 2986-2986	"CIS" is an abbreviation of commonwealth of independent states
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3235-3235	"CITES" is an abbreviation of endangered species convention
No TPTP formula. May not be expressible in strict first order.	Government.kif 3006-3006	"CMEA" is an abbreviation of council for mutual economic assistance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2992-2992	"COCOM" is an abbreviation of coordinating committee on export controls
No TPTP formula. May not be expressible in strict first order.	Government.kif 2971-2971	"CP" is an abbreviation of colombo plan
No TPTP formula. May not be expressible in strict first order.	Government.kif 2927-2927	"Caricom" is an abbreviation of caribbean community and common market
No TPTP formula. May not be expressible in strict first order.	Government.kif 3007-3007	"Comecon" is an abbreviation of council for mutual economic assistance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2641-2641	"DDT" is an abbreviation of DDT
No TPTP formula. May not be expressible in strict first order.	Government.kif 3059-3059	"EADB" is an abbreviation of east african development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3155-3155	"EAPC" is an abbreviation of euro atlantic partnership council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3164-3164	"EBRD" is an abbreviation of european bank for reconstruction and development
No TPTP formula. May not be expressible in strict first order.	Government.kif 3175-3175	"EC" is an abbreviation of european community
No TPTP formula. May not be expressible in strict first order.	Government.kif 3145-3145	"ECO" is an abbreviation of economic cooperation organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3065-3065	"ECOSOC" is an abbreviation of economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3139-3139	"ECOWAS" is an abbreviation of economic community of west african states
No TPTP formula. May not be expressible in strict first order.	Government.kif 3182-3182	"EFTA" is an abbreviation of european free trade association
No TPTP formula. May not be expressible in strict first order.	Government.kif 3188-3188	"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