Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AustraliaNewZealandUnitedStatesSecurityTreaty

Sigma KEE - AustraliaNewZealandUnitedStatesSecurityTreaty
AustraliaNewZealandUnitedStatesSecurityTreaty

appearance as argument number 1
-------------------------


(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty
    (DayFn 1
        (MonthFn September
            (YearFn 1951))))
Government.kif 2826-2826 dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty and 1 day
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations) Government.kif 2823-2823 AustraliaNewZealandUnitedStatesSecurityTreatyOrganizationOfNationsinstance
(organizationalObjective AustraliaNewZealandUnitedStatesSecurityTreaty MutualDefensePact) Government.kif 2827-2827 organizationalObjective AustraliaNewZealandUnitedStatesSecurityTreaty and MutualDefensePact

appearance as argument number 2
-------------------------


(abbreviation "ANZUS" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2825-2825 abbreviation "ANZUS" and AustraliaNewZealandUnitedStatesSecurityTreaty
(conventionalLongName "Australia-New Zealand-United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2824-2824 conventionalLongName "Australia-New Zealand-United States Security Treaty" and AustraliaNewZealandUnitedStatesSecurityTreaty
(termFormat EnglishLanguage AustraliaNewZealandUnitedStatesSecurityTreaty "australia new zealand united states security treaty") domainEnglishFormat.kif 1951-1951 termFormat EnglishLanguage, AustraliaNewZealandUnitedStatesSecurityTreaty and "australia new zealand united states security treaty"


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners