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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - WarsawPact

appearance as argument number 1

(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))
Government.kif 4285-4285 dateDissolved WarsawPact and 1 day
(dateEstablished WarsawPact
    (DayFn 14
        (MonthFn May
            (YearFn 1955))))
Government.kif 4284-4284 dateEstablished WarsawPact and 14 day
(externalImage WarsawPact " 9/ 9e/ NATO_vs_Warsaw_%281949-1990%29.png") pictureList.kif 8247-8247
(externalImage WarsawPact " b/ b4/ Warsaw08186x.jpg") pictureList.kif 6967-6967
(externalImage WarsawPact " b/ b6/ Warsaw-stamp.jpg") pictureList.kif 8246-8246
(externalImage WarsawPact " b/ bc/ Map_of_Warsaw_Pact_countries.png") pictureList.kif 8248-8248
(instance WarsawPact OrganizationOfNations) Government.kif 4281-4281 WarsawPactOrganizationOfNationsinstance では %n
(organizationalObjective WarsawPact MutualDefensePact) Government.kif 4286-4286 organizationalObjective WarsawPact and MutualDefensePact

appearance as argument number 2

(abbreviation "WP" WarsawPact) Government.kif 4283-4283 abbreviation "WP" and WarsawPact
(conventionalLongName "Warsaw Pact" WarsawPact) Government.kif 4282-4282 conventionalLongName "Warsaw Pact" and WarsawPact
(termFormat ChineseLanguage WarsawPact "华沙协议") domainEnglishFormat.kif 62241-62241
(termFormat ChineseTraditionalLanguage WarsawPact "華沙協議") domainEnglishFormat.kif 62240-62240
(termFormat EnglishLanguage WarsawPact "warsaw pact") domainEnglishFormat.kif 62239-62239

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