AustraliaNewZealandUnitedStatesSecurityTreaty(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 2850-2850 | The day 1 of month the month September 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 2847-2847 | 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 2851-2851 | 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 2849-2849 | "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 2848-2848 | 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 9097-9097 | 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 9096-9096 | 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 9095-9095 | Australia new zealand united states security treaty is a conventional long name of "Australia_New Zealand_United States Security Treaty" |
![]() |
![]() |