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 3054-3054 |
"WCO" is an abbreviation of world customs organization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3051-3051 |
World customs organization is a conventional long name of "Customs Cooperation Council" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3052-3052 |
World customs organization is a conventional long name of "World Customs Organization" |
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 |
|