No TPTP formula. May not be expressible in strict first order. |
Government.kif 3985-3985 |
聯合國裁軍研究所 是 "UNIDIR" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3984-3984 |
聯合國裁軍研究所 是 "United Nations Institute for Disarmament Research" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60146-60146 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60145-60145 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60144-60144 |
|