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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WesternEuropeanUnion

Sigma KEE - WesternEuropeanUnion
WesternEuropeanUnion(western european union)

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


(dateEstablished WesternEuropeanUnion
    (DayFn 23
        (MonthFn October
            (YearFn 1954))))
Government.kif 4313-4313 The day 23 is a date established of western european union
(instance WesternEuropeanUnion OrganizationOfNations) Government.kif 4310-4310 Western european union is an instance of organization of nations
(organizationalObjective WesternEuropeanUnion MutualDefensePact) Government.kif 4314-4314 Mutual defense pact is an organizational objective of western european union
(organizationalObjective WesternEuropeanUnion PoliticalIntegration) Government.kif 4315-4315 Political integration is an organizational objective of western european union

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


(abbreviation "WEU" WesternEuropeanUnion) Government.kif 4312-4312 "WEU" is an abbreviation of western european union
(conventionalLongName "Western European Union" WesternEuropeanUnion) Government.kif 4311-4311 Western european union is a conventional long name of "Western European Union"
(termFormat ChineseLanguage WesternEuropeanUnion "西欧联盟") domainEnglishFormat.kif 62781-62781
(termFormat ChineseTraditionalLanguage WesternEuropeanUnion "西歐聯盟") domainEnglishFormat.kif 62780-62780
(termFormat EnglishLanguage WesternEuropeanUnion "western european union") domainEnglishFormat.kif 62779-62779


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 3.0 is open source software produced by Articulate Software and its partners