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 4222-4222 dateDissolved WarsawPact and 1 day
(dateEstablished WarsawPact
    (DayFn 14
        (MonthFn May
            (YearFn 1955))))
Government.kif 4221-4221 dateEstablished WarsawPact and 14 day
(externalImage WarsawPact " 9/ 9e/ NATO_vs_Warsaw_%281949-1990%29.png") pictureList.kif 8249-8249 externalImage WarsawPact and " NATO_vs_Warsaw_%281949-1990%29.png"
(externalImage WarsawPact " b/ b4/ Warsaw08186x.jpg") pictureList.kif 6968-6968 externalImage WarsawPact and " Warsaw08186x.jpg"
(externalImage WarsawPact " b/ b6/ Warsaw-stamp.jpg") pictureList.kif 8248-8248 externalImage WarsawPact and " Warsaw-stamp.jpg"
(externalImage WarsawPact " b/ bc/ Map_of_Warsaw_Pact_countries.png") pictureList.kif 8250-8250 externalImage WarsawPact and " Map_of_Warsaw_Pact_countries.png"
(instance WarsawPact OrganizationOfNations) Government.kif 4218-4218 WarsawPactOrganizationOfNationsinstance
(organizationalObjective WarsawPact MutualDefensePact) Government.kif 4223-4223 organizationalObjective WarsawPact and MutualDefensePact

appearance as argument number 2

(abbreviation "WP" WarsawPact) Government.kif 4220-4220 abbreviation "WP" and WarsawPact
(conventionalLongName "Warsaw Pact" WarsawPact) Government.kif 4219-4219 conventionalLongName "Warsaw Pact" and WarsawPact
(termFormat EnglishLanguage WarsawPact "warsaw pact") domainEnglishFormat.kif 10796-10796 termFormat EnglishLanguage, WarsawPact and "warsaw pact"

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