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