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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ParliamentaryGovernment
ParliamentaryGovernment(parliamentary government)

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


(documentation ParliamentaryGovernment EnglishLanguage "ParliamentaryGovernment is the attribute of a government whose chief LegislativeOrganization is a Parliament. A parliamentary government is compatible with various other government types, including Monarchy.") Government.kif 251-254
(instance ParliamentaryGovernment FormOfGovernment) Government.kif 162-162 Parliamentary government is an instance of form of government

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


(subAttribute ConstitutionalParliamentaryDemocracy ParliamentaryGovernment) Government.kif 269-269 Constitutional parliamentary democracy is a subattribute of parliamentary government
(subAttribute FederalParliamentaryDemocracy ParliamentaryGovernment) Government.kif 268-268 Federal parliamentary democracy is a subattribute of parliamentary government
(subAttribute ParliamentaryDemocracy ParliamentaryGovernment) Government.kif 267-267 Parliamentary democracy is a subattribute of parliamentary government
(subAttribute ParliamentaryRepublic ParliamentaryGovernment) Government.kif 266-266 Parliamentary republic is a subattribute of parliamentary government
(termFormat ChineseLanguage ParliamentaryGovernment "议会政府") domainEnglishFormat.kif 44522-44522 Parliamentary republic is a subattribute of parliamentary government
(termFormat ChineseTraditionalLanguage ParliamentaryGovernment "議會政府") domainEnglishFormat.kif 44521-44521 Parliamentary republic is a subattribute of parliamentary government
(termFormat EnglishLanguage ParliamentaryGovernment "parliamentary government") domainEnglishFormat.kif 44520-44520 Parliamentary republic is a subattribute of parliamentary government

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


(=>
    (and
        (governmentType ?PLACE ?TYPE)
        (instance ?PLACE GeopoliticalArea)
        (subAttribute ?TYPE ParliamentaryGovernment))
    (exists (?ORG)
        (and
            (instance ?ORG Parliament)
            (subOrganization ?ORG
                (GovernmentFn ?PLACE)))))
Government.kif 256-264

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


(=>
    (instance ?AREA ParliamentaryTerritory)
    (governmentType
        (GovernmentFn ?AREA) ParliamentaryGovernment))
Government.kif 491-493


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