TreeView Knowledge Base Browser - AustraliaNewZealandUnitedStatesSecurityTreaty

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2889-2889	1 Day 是澳大利亚新西兰美国安全条约的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2886-2886	澳大利亚新西兰美国安全条约是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2890-2890	共同防御协定是澳大利亚新西兰美国安全条约的 organizational 目标

appearance as argument number 2

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