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

appearance as argument number 2

(instance UnitedStatesHouseOfRepresentatives LegislativeChamber)	Government.kif 4776-4776	United states house of representatives is an instance of legislative chamber
(instance UnitedStatesSenate LegislativeChamber)	Government.kif 4783-4783	United states senate is an instance of legislative chamber
(termFormat ChineseLanguage LegislativeChamber "立法院")	domainEnglishFormat.kif 33939-33939	United states senate is an instance of legislative chamber
(termFormat ChineseTraditionalLanguage LegislativeChamber "立法院")	domainEnglishFormat.kif 33938-33938	United states senate is an instance of legislative chamber
(termFormat EnglishLanguage LegislativeChamber "legislative chamber")	domainEnglishFormat.kif 33937-33937	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 1939-1947

consequent

(=> (attribute ?ORG BicameralLegislature) (not (instance ?ORG LegislativeChamber)))	Government.kif 1956-1958	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 1921-1929	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