No TPTP formula. May not be expressible in strict first order. |
Government.kif 3017-3017 |
abbreviation "CCC" and WorldCustomsOrganization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3018-3018 |
abbreviation "WCO" and WorldCustomsOrganization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3015-3015 |
conventionalLongName "Customs Cooperation Council" and WorldCustomsOrganization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3016-3016 |
conventionalLongName "World Customs Organization" and WorldCustomsOrganization |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63497-63497 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63496-63496 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63495-63495 |
|