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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AustraliaNewZealandUnitedStatesSecurityTreaty
AustraliaNewZealandUnitedStatesSecurityTreaty(australia new zealand united states security treaty)

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


s__dateEstablished(s__AustraliaNewZealandUnitedStatesSecurityTreaty,s__DayFn(n__1,s__MonthFn(s__September,s__YearFn(n__1951))))

Government.kif 2865-2865 The day 1 is a date established of australia new zealand united states security treaty
s__instance(s__OrganizationOfNations,s__SetOrClass)

s__instance(s__AustraliaNewZealandUnitedStatesSecurityTreaty,s__OrganizationOfNations)

Government.kif 2862-2862 Australia new zealand united states security treaty is an instance of organization of nations
s__organizationalObjective(s__AustraliaNewZealandUnitedStatesSecurityTreaty,s__MutualDefensePact)

Government.kif 2866-2866 Mutual defense pact is an organizational objective of australia new zealand united states security treaty

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


s__abbreviation('"ANZUS"',s__AustraliaNewZealandUnitedStatesSecurityTreaty)

Government.kif 2864-2864 "ANZUS" is an abbreviation of australia new zealand united states security treaty
s__conventionalLongName('"Australia-New Zealand-United States Security Treaty"',s__AustraliaNewZealandUnitedStatesSecurityTreaty)

Government.kif 2863-2863 Australia new zealand united states security treaty is a conventional long name of "Australia-New Zealand-United States Security Treaty"
s__termFormat(s__ChineseLanguage,s__AustraliaNewZealandUnitedStatesSecurityTreaty,'"澳大利亚新西兰美国安全条约"')

domainEnglishFormat.kif 9105-9105
s__termFormat(s__ChineseTraditionalLanguage,s__AustraliaNewZealandUnitedStatesSecurityTreaty,'"澳大利亞新西蘭美國安全條約"')

domainEnglishFormat.kif 9104-9104
s__termFormat(s__EnglishLanguage,s__AustraliaNewZealandUnitedStatesSecurityTreaty,'"australia new zealand united states security treaty"')

domainEnglishFormat.kif 9103-9103


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners