No TPTP formula. May not be expressible in strict first order. |
Government.kif 3053-3053 |
abbreviation "CCC" and WorldCustomsOrganization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3054-3054 |
abbreviation "WCO" and WorldCustomsOrganization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3051-3051 |
conventionalLongName "Customs Cooperation Council" and WorldCustomsOrganization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3052-3052 |
conventionalLongName "World Customs Organization" and WorldCustomsOrganization |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63495-63495 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63494-63494 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63493-63493 |
|