No TPTP formula. May not be expressible in strict first order. |
Government.kif 2890-2890 |
共同防御协定 是 澳大利亚新西兰美国安全条约 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3684-3684 |
共同防御协定 是 北大西洋条约组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4286-4286 |
共同防御协定 是 华沙协议 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4314-4314 |
共同防御协定 是 西欧联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39489-39489 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39488-39488 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39487-39487 |
|