TreeView Knowledge Base Browser - UnicameralLegislature

appearance as argument number 1

(instance UnicameralLegislature FormOfGovernment)	Government.kif 1940-1940	Unicameral legislature is an instance of form of government
(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 1942-1946	Unicameral legislature is an instance of form of government

appearance as argument number 2

(termFormat EnglishLanguage UnicameralLegislature "unicameral legislature")	domainEnglishFormat.kif 59931-59931
(termFormat ChineseTraditionalLanguage UnicameralLegislature "一院制立法機關")	domainEnglishFormat.kif 59932-59932
(termFormat ChineseLanguage UnicameralLegislature "一院制立法机关")	domainEnglishFormat.kif 59933-59933

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))

If All of the following hold: (1) unicameral legislature is an attribute of X (2) Y is a legislative branch of X (3) Z is an instance of legislative chamber (4) Z is a part of the organization the government of Y (5) W is an instance of legislative chamber (6) W is a part of the organization the government of Y, then equal Z and W