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 |
|