No TPTP formula. May not be expressible in strict first order. |
Government.kif 2727-2727 |
法語社區的代理機構 是 "ACCT" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2726-2726 |
法語社區的代理機構 是 "Agency for the French-Speaking Community" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2728-2728 |
"Agency for Cultural and Technical Cooperation" 是對於 法語社區的代理機構 的 former name |
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 |
|