No TPTP formula. May not be expressible in strict first order. |
Government.kif 2763-2763 |
abbreviation "ACCT" and AgencyForTheFrenchSpeakingCommunity |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2762-2762 |
conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2764-2764 |
formerName "Agency for Cultural and Technical Cooperation" and AgencyForTheFrenchSpeakingCommunity |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5814-5814 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5813-5813 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5812-5812 |
|