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 239-242
(instance ParliamentaryGovernment FormOfGovernment) Government.kif 162-162

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


(subAttribute ConstitutionalParliamentaryDemocracy ParliamentaryGovernment) Government.kif 257-257
(subAttribute FederalParliamentaryDemocracy ParliamentaryGovernment) Government.kif 256-256
(subAttribute ParliamentaryDemocracy ParliamentaryGovernment) Government.kif 255-255
(subAttribute ParliamentaryRepublic ParliamentaryGovernment) Government.kif 254-254
(termFormat ChineseLanguage ParliamentaryGovernment "议会政府") domainEnglishFormat.kif 44461-44461
(termFormat ChineseTraditionalLanguage ParliamentaryGovernment "議會政府") domainEnglishFormat.kif 44460-44460
(termFormat EnglishLanguage ParliamentaryGovernment "parliamentary government") domainEnglishFormat.kif 44459-44459

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


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

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


(=>
    (instance ?AREA ParliamentaryTerritory)
    (governmentType
        (GovernmentFn ?AREA) ParliamentaryGovernment))
Government.kif 516-518


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