No TPTP formula. May not be expressible in strict first order. |
Government.kif 4111-4111 |
控制大規模殺傷性武器 是 聯合國監測和核查委員會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2644-2644 |
子屬性 控制生物和化學武器 and 控制大規模殺傷性武器 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2640-2640 |
子屬性 控制核武器 and 控制大規模殺傷性武器 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2641-2641 |
子屬性 核不擴散 and 控制大規模殺傷性武器 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17070-17070 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17069-17069 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17068-17068 |
|