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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommunistState

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 CommunistStateFormOfGovernmentinstance では %n
(subAttribute CommunistState AuthoritarianRegime) Government.kif 328-328 CommunistStateAuthoritarianRegimesubattribute では %n

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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