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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CommunistState

appearance as argument number 1

(externalImage CommunistState " 4/ 40/ Communist_countries.PNG") pictureList.kif 5927-5927
(externalImage CommunistState " b/ b3/ Communist_States.png") pictureList.kif 6306-6306
(instance CommunistState FormOfGovernment) Government.kif 184-184
(subAttribute CommunistState AuthoritarianRegime) Government.kif 316-316

appearance as argument number 2

(termFormat ChineseLanguage CommunistState "共产主义国家") domainEnglishFormat.kif 16065-16065
(termFormat ChineseTraditionalLanguage CommunistState "共產主義國家") domainEnglishFormat.kif 16064-16064
(termFormat EnglishLanguage CommunistState "communist state") domainEnglishFormat.kif 16063-16063


        (attribute ?AREA CommunistState)
        (instance ?AREA Nation))
    (economyType ?AREA CentrallyPlannedEconomy))
Economy.kif 861-865


        (instance ?P CommunistParty)
        (member ?M ?P)
        (instance ?A GeopoliticalArea))
    (desires ?M
        (governmentType ?A CommunistState)))
Government.kif 2249-2255

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