| AustraliaNewZealandUnitedStatesSecurityTreaty(australia new zealand united states security treaty) | | australia_new_zealand_united_states_security_treaty |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2826-2826 | The day 1 is a date established of australia new zealand united states security treaty |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2823-2823 | Australia new zealand united states security treaty is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2827-2827 | Mutual defense pact is an organizational objective of australia new zealand united states security treaty |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2825-2825 | "ANZUS" is an abbreviation of australia new zealand united states security treaty |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2824-2824 | Australia new zealand united states security treaty is a conventional long name of "Australia-New Zealand-United States Security Treaty" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1951-1951 | "australia new zealand united states security treaty" is the printable form of australia new zealand united states security treaty in english language |
|
|
|