abbreviation |
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 |