No TPTP formula. May not be expressible in strict first order. |
Government.kif 3972-3972 |
聯合國項目服務辦公室 是 "UNOPS" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3971-3971 |
聯合國項目服務辦公室 是 "United Nations Office of Project Services" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60250-60250 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60249-60249 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60248-60248 |
|