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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WesternEuropeanUnion
WesternEuropeanUnion

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


(dateEstablished WesternEuropeanUnion
    (DayFn 23
        (MonthFn October
            (YearFn 1954))))
Government.kif 4277-4277 dateEstablished WesternEuropeanUnion and le jour 23
(instance WesternEuropeanUnion OrganizationOfNations) Government.kif 4274-4274 WesternEuropeanUnion est une instance de OrganizationOfNations
(organizationalObjective WesternEuropeanUnion MutualDefensePact) Government.kif 4278-4278 organizationalObjective WesternEuropeanUnion and MutualDefensePact
(organizationalObjective WesternEuropeanUnion PoliticalIntegration) Government.kif 4279-4279 organizationalObjective WesternEuropeanUnion and PoliticalIntegration

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


(abbreviation "WEU" WesternEuropeanUnion) Government.kif 4276-4276 abbreviation "WEU" and WesternEuropeanUnion
(conventionalLongName "Western European Union" WesternEuropeanUnion) Government.kif 4275-4275 conventionalLongName "Western European Union" and WesternEuropeanUnion
(termFormat ChineseLanguage WesternEuropeanUnion "西欧联盟") domainEnglishFormat.kif 62783-62783
(termFormat ChineseTraditionalLanguage WesternEuropeanUnion "西歐聯盟") domainEnglishFormat.kif 62782-62782
(termFormat EnglishLanguage WesternEuropeanUnion "western european union") domainEnglishFormat.kif 62781-62781


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