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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - WarsawPact
WarsawPact(warsaw pact)

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


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

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


(abbreviation "WP" WarsawPact) Government.kif 4244-4244 "WP" is an abbreviation of warsaw pact
(conventionalLongName "Warsaw Pact" WarsawPact) Government.kif 4243-4243 Warsaw pact is a conventional long name of "Warsaw Pact"
(termFormat ChineseLanguage WarsawPact "华沙协议") domainEnglishFormat.kif 62223-62223 Warsaw pact is a conventional long name of "Warsaw Pact"
(termFormat ChineseTraditionalLanguage WarsawPact "華沙協議") domainEnglishFormat.kif 62222-62222 Warsaw pact is a conventional long name of "Warsaw Pact"
(termFormat EnglishLanguage WarsawPact "warsaw pact") domainEnglishFormat.kif 62221-62221 Warsaw pact is a conventional long name 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 is open source software produced by Articulate Software and its partners