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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WarsawPact

Sigma KEE - WarsawPact
WarsawPact

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


(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))
Government.kif 4249-4249
(dateEstablished WarsawPact
    (DayFn 14
        (MonthFn May
            (YearFn 1955))))
Government.kif 4248-4248
(externalImage WarsawPact "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ NATO_vs_Warsaw_%281949-1990%29.png") pictureList.kif 8247-8247
(externalImage WarsawPact "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Warsaw08186x.jpg") pictureList.kif 6967-6967
(externalImage WarsawPact "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ Warsaw-stamp.jpg") pictureList.kif 8246-8246
(externalImage WarsawPact "http://upload.wikimedia.org/wikipedia/commons/ b/ bc/ Map_of_Warsaw_Pact_countries.png") pictureList.kif 8248-8248
(instance WarsawPact OrganizationOfNations) Government.kif 4245-4245
(organizationalObjective WarsawPact MutualDefensePact) Government.kif 4250-4250

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


(abbreviation "WP" WarsawPact) Government.kif 4247-4247
(conventionalLongName "Warsaw Pact" WarsawPact) Government.kif 4246-4246
(termFormat ChineseLanguage WarsawPact "华沙协议") domainEnglishFormat.kif 62231-62231
(termFormat ChineseTraditionalLanguage WarsawPact "華沙協議") domainEnglishFormat.kif 62230-62230
(termFormat EnglishLanguage WarsawPact "warsaw pact") domainEnglishFormat.kif 62229-62229


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