No TPTP formula. May not be expressible in strict first order. |
Government.kif 2763-2763 |
"ACCT" is an abbreviation of agency for the french speaking community |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2762-2762 |
Agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2764-2764 |
"Agency for Cultural and Technical Cooperation" is a former name for agency for the french speaking community |
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 |
|