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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnicameralLegislature

Sigma KEE - UnicameralLegislature
UnicameralLegislatureunicameral, unicameral_legislature

appearance as argument number 1
-------------------------


(documentation UnicameralLegislature EnglishLanguage "UnicameralLegislature is the Attribute of legislatures or governments whose legislative branches have only one legislative chamber. For example, Albania has only the PeoplesAssembly constituting its legislative branch.") Government.kif 1931-1935
(instance UnicameralLegislature FormOfGovernment) Government.kif 1929-1929

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


(termFormat EnglishLanguage UnicameralLegislature "unicameral legislature") domainEnglishFormat.kif 10416-10416

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


(=>
    (and
        (attribute ?ORG UnicameralLegislature)
        (legislativeBranch ?ORG ?AREA)
        (instance ?CHAMBER1 LegislativeChamber)
        (subOrganization ?CHAMBER1
            (GovernmentFn ?AREA))
        (instance ?CHAMBER2 LegislativeChamber)
        (subOrganization ?CHAMBER2
            (GovernmentFn ?AREA)))
    (equal ?CHAMBER1 ?CHAMBER2))
Government.kif 1937-1945


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners