No TPTP formula. May not be expressible in strict first order. |
Government.kif 4106-4106 |
聯合國監測和核查委員會 是 "UNMOVIC" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4105-4105 |
聯合國監測和核查委員會 是 "United Nations Monitoring and Verification Commission" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4109-4109 |
"UNSCOM" 是對於 聯合國監測和核查委員會 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4108-4108 |
"United Nations Special Commission for the Elimination of Iraqi Weapons of Mass Destruction" 是對於 聯合國監測和核查委員會 的 former name |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60236-60236 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60235-60235 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60234-60234 |
|