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 5927-5927
(externalImage CommunistState "http://upload.wikimedia.org/wikipedia/commons/ 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 16003-16003
(termFormat ChineseTraditionalLanguage CommunistState "共產主義國家") domainEnglishFormat.kif 16002-16002
(termFormat EnglishLanguage CommunistState "communist state") domainEnglishFormat.kif 16001-16001

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


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

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners