TreeView Knowledge Base Browser - LegislativeChamber

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

consequent

(=> (instance ?LEGE BicameralLegislature) (exists (?CHAMBER1 ?CHAMBER2) (and (instance ?CHAMBER1 LegislativeChamber) (subOrganization ?CHAMBER1 ?LEGE) (instance ?CHAMBER2 LegislativeChamber) (subOrganization ?CHAMBER2 ?LEGE) (not (equal ?CHAMBER1 ?CHAMBER2)))))	Government.kif 1930-1938	If X is an instance of bicameral legislature, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of legislative chamber (3) Y is a part of the organization X (4) Z is an instance of legislative chamber (5) Z is a part of the organization X (6) equal Y (7) Z
(=> (attribute ?ORG BicameralLegislature) (not (instance ?ORG LegislativeChamber)))	Government.kif 1965-1967	If bicameral legislature is an attribute of X, then X is not an instance of legislative chamber

(subclass LegislativeChamber LegislativeOrganization)	Government.kif 1958-1958	Legislative chamber is a subclass of legislative organization
(documentation LegislativeChamber EnglishLanguage "LegislativeChamber is the class of LegislativeOrganizations which are a coherent body that considers and votes upon legislation in common session. For example, the United States Senate.")	Government.kif 1960-1963	Legislative chamber is a subclass of legislative organization

(instance UnitedStatesHouseOfRepresentatives LegislativeChamber)	Government.kif 4807-4807	United states house of representatives is an instance of legislative chamber
(instance UnitedStatesSenate LegislativeChamber)	Government.kif 4814-4814	United states senate is an instance of legislative chamber
(termFormat EnglishLanguage LegislativeChamber "legislative chamber")	domainEnglishFormat.kif 33913-33913	United states senate is an instance of legislative chamber
(termFormat ChineseTraditionalLanguage LegislativeChamber "立法院")	domainEnglishFormat.kif 33914-33914	United states senate is an instance of legislative chamber
(termFormat ChineseLanguage LegislativeChamber "立法院")	domainEnglishFormat.kif 33915-33915	United states senate is an instance of legislative chamber