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 ParliamentaryGovernmentFormOfGovernmentinstance では %n

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


(subAttribute ConstitutionalParliamentaryDemocracy ParliamentaryGovernment) Government.kif 269-269 ConstitutionalParliamentaryDemocracyParliamentaryGovernmentsubattribute では %n
(subAttribute FederalParliamentaryDemocracy ParliamentaryGovernment) Government.kif 268-268 FederalParliamentaryDemocracyParliamentaryGovernmentsubattribute では %n
(subAttribute ParliamentaryDemocracy ParliamentaryGovernment) Government.kif 267-267 ParliamentaryDemocracyParliamentaryGovernmentsubattribute では %n
(subAttribute ParliamentaryRepublic ParliamentaryGovernment) Government.kif 266-266 ParliamentaryRepublicParliamentaryGovernmentsubattribute では %n
(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