No TPTP formula. May not be expressible in strict first order. |
Government.kif 3235-3235 |
abbreviation "FZ" and FrancZone |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3233-3233 |
conventionalLongName "Franc Zone" and FrancZone |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3234-3234 |
localLongName "Conference des Ministres des Finances des Pays de la Zone Franc" and FrancZone |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24884-24884 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24883-24883 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24882-24882 |
|