No TPTP formula. May not be expressible in strict first order. |
Government.kif 2888-2888 |
澳大利亞新西蘭美國安全條約 是 "ANZUS" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2887-2887 |
澳大利亞新西蘭美國安全條約 是 "Australia-New Zealand-United States Security Treaty" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9096-9096 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9095-9095 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9094-9094 |
|