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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CommunistState
CommunistState

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


(externalImage CommunistState "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Communist_countries.PNG") pictureList.kif 5926-5926
(externalImage CommunistState "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Communist_States.png") pictureList.kif 6305-6305
(instance CommunistState FormOfGovernment) Government.kif 184-184
(subAttribute CommunistState AuthoritarianRegime) Government.kif 328-328

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


(termFormat ChineseLanguage CommunistState "共产主义国家") domainEnglishFormat.kif 16074-16074
(termFormat ChineseTraditionalLanguage CommunistState "共產主義國家") domainEnglishFormat.kif 16073-16073
(termFormat EnglishLanguage CommunistState "communist state") domainEnglishFormat.kif 16072-16072

antecedent
-------------------------


(=>
    (and
        (attribute ?AREA CommunistState)
        (instance ?AREA Nation))
    (economyType ?AREA CentrallyPlannedEconomy))
Economy.kif 865-869

consequent
-------------------------


(=>
    (and
        (instance ?P CommunistParty)
        (member ?M ?P)
        (instance ?A GeopoliticalArea))
    (desires ?M
        (governmentType ?A CommunistState)))
Government.kif 2263-2269


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