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 议会政府政体instance

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


(subAttribute ConstitutionalParliamentaryDemocracy ParliamentaryGovernment) Government.kif 269-269 宪法议会民主议会政府subAttribute
(subAttribute FederalParliamentaryDemocracy ParliamentaryGovernment) Government.kif 268-268 联邦议会民主议会政府subAttribute
(subAttribute ParliamentaryDemocracy ParliamentaryGovernment) Government.kif 267-267 议会民主制议会政府subAttribute
(subAttribute ParliamentaryRepublic ParliamentaryGovernment) Government.kif 266-266 议会共和国议会政府subAttribute
(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