ParliamentaryGovernment - Sigma Knowledge base Browser

appearance as argument number 1

(instance ParliamentaryGovernment FormOfGovernment)	Government.kif 162-162	Parliamentary government is an instance of form of government
(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	Parliamentary government is an instance of form of government

appearance as argument number 2

(subAttribute ParliamentaryRepublic ParliamentaryGovernment)	Government.kif 266-266	Parliamentary republic is a subattribute of parliamentary government
(subAttribute ParliamentaryDemocracy ParliamentaryGovernment)	Government.kif 267-267	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 ConstitutionalParliamentaryDemocracy ParliamentaryGovernment)	Government.kif 269-269	Constitutional parliamentary democracy is a subattribute of parliamentary government
(termFormat EnglishLanguage ParliamentaryGovernment "parliamentary government")	domainEnglishFormat.kif 44477-44477	Constitutional parliamentary democracy is a subattribute of parliamentary government
(termFormat ChineseTraditionalLanguage ParliamentaryGovernment "議會政府")	domainEnglishFormat.kif 44478-44478	Constitutional parliamentary democracy is a subattribute of parliamentary government
(termFormat ChineseLanguage ParliamentaryGovernment "议会政府")	domainEnglishFormat.kif 44479-44479	Constitutional parliamentary democracy 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)))))

If X is a government type of Y, Y is an instance of geopolitical area, and X is a subattribute of parliamentary government, then there exists Z such that Z is an instance of parliament and Z is a part of the organization the government of Y

consequent