No TPTP formula. May not be expressible in strict first order. |
Government.kif 2704-2704 |
"ACCT" is an abbreviation of agency for the french speaking community |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2703-2703 |
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 2705-2705 |
"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 5825-5825 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5824-5824 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5823-5823 |
|