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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ParliamentaryGovernment
ParliamentaryGovernment

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

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


(subAttribute ConstitutionalParliamentaryDemocracy ParliamentaryGovernment) Government.kif 269-269
(subAttribute FederalParliamentaryDemocracy ParliamentaryGovernment) Government.kif 268-268
(subAttribute ParliamentaryDemocracy ParliamentaryGovernment) Government.kif 267-267
(subAttribute ParliamentaryRepublic ParliamentaryGovernment) Government.kif 266-266
(termFormat ChineseLanguage ParliamentaryGovernment "议会政府") domainEnglishFormat.kif 44484-44484
(termFormat ChineseTraditionalLanguage ParliamentaryGovernment "議會政府") domainEnglishFormat.kif 44483-44483
(termFormat EnglishLanguage ParliamentaryGovernment "parliamentary government") domainEnglishFormat.kif 44482-44482

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 527-529


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