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 |
|