LegislativeChamber - Sigma Knowledge base Browser

appearance as argument number 1

(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 1953-1956
(subclass LegislativeChamber LegislativeOrganization)	Government.kif 1951-1951	Legislative chamber is a subclass of legislative organization

appearance as argument number 2

(instance UnitedStatesHouseOfRepresentatives LegislativeChamber)	Government.kif 4779-4779	United states house of representatives is an instance of legislative chamber
(instance UnitedStatesSenate LegislativeChamber)	Government.kif 4786-4786	United states senate is an instance of legislative chamber
(termFormat ChineseLanguage LegislativeChamber "立法院")	domainEnglishFormat.kif 33945-33945	United states senate is an instance of legislative chamber
(termFormat ChineseTraditionalLanguage LegislativeChamber "立法院")	domainEnglishFormat.kif 33944-33944	United states senate is an instance of legislative chamber
(termFormat EnglishLanguage LegislativeChamber "legislative chamber")	domainEnglishFormat.kif 33943-33943	United states senate is an instance of legislative chamber

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 1941-1949

consequent

(=> (attribute ?ORG BicameralLegislature) (not (instance ?ORG LegislativeChamber)))	Government.kif 1958-1960	If bicameral legislature is an attribute of an object, then the object is not an instance of legislative chamber
(=> (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 1923-1931	If an organization is an instance of bicameral legislature, then there exist another organization and a third organization such that the other organization is an instance of legislative chamber and the other organization is a part of the organization the organization and the third organization is an instance of legislative chamber and the third organization is a part of the organization the organization and the other organization is not equal to the third organization