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)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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners