No TPTP formula. May not be expressible in strict first order. |
Government.kif 2763-2763 |
法语社区的代理机构 是 "ACCT" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2762-2762 |
法语社区的代理机构 是 "Agency for the French-Speaking Community" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2764-2764 |
"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 |
|