Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - WarsawPact
WarsawPact(warsaw pact)

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


(instance WarsawPact OrganizationOfNations) Government.kif 4273-4273 Warsaw pact is an instance of organization of nations
(dateEstablished WarsawPact
    (DayFn 14
        (MonthFn May
            (YearFn 1955))))		 Government.kif 4276-4276 The day 14 of month the month May is a date established of warsaw pact
(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))		 Government.kif 4277-4277 The day 1 of month the month July is a date dissolved of warsaw pact
(organizationalObjective WarsawPact MutualDefensePact) Government.kif 4278-4278 Mutual defense pact is an organizational objective of warsaw pact
(externalImage WarsawPact "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Warsaw08186x.jpg") pictureList.kif 6966-6966 Mutual defense pact is an organizational objective of warsaw pact
(externalImage WarsawPact "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ Warsaw_stamp.jpg") pictureList.kif 8245-8245 Mutual defense pact is an organizational objective of warsaw pact
(externalImage WarsawPact "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ NATO_vs_Warsaw_%281949-1990%29.png") pictureList.kif 8246-8246 Mutual defense pact is an organizational objective of warsaw pact
(externalImage WarsawPact "http://upload.wikimedia.org/wikipedia/commons/ b/ bc/ Map_of_Warsaw_Pact_countries.png") pictureList.kif 8247-8247 Mutual defense pact is an organizational objective of warsaw pact

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


(conventionalLongName "Warsaw Pact" WarsawPact) Government.kif 4274-4274 Warsaw pact is a conventional long name of "Warsaw Pact"
(abbreviation "WP" WarsawPact) Government.kif 4275-4275 "WP" is an abbreviation of warsaw pact
(termFormat EnglishLanguage WarsawPact "warsaw pact") domainEnglishFormat.kif 62230-62230 "WP" is an abbreviation of warsaw pact
(termFormat ChineseTraditionalLanguage WarsawPact "華沙協議") domainEnglishFormat.kif 62231-62231 "WP" is an abbreviation of warsaw pact
(termFormat ChineseLanguage WarsawPact "华沙协议") domainEnglishFormat.kif 62232-62232 "WP" is an abbreviation of warsaw pact


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners