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 |
控制生物和化学武器 是 控制大规模杀伤性武器 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2640-2640 |
控制核武器 是 控制大规模杀伤性武器 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2641-2641 |
核不扩散 是 控制大规模杀伤性武器 的 subAttribute |
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 |
|