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	LegislativeChamber is a subclass of LegislativeOrganization

appearance as argument number 2

(instance UnitedStatesHouseOfRepresentatives LegislativeChamber)	Government.kif 4776-4776	UnitedStatesHouseOfRepresentatives is an instance of LegislativeChamber
(instance UnitedStatesSenate LegislativeChamber)	Government.kif 4783-4783	UnitedStatesSenate is an instance of LegislativeChamber
(termFormat ChineseLanguage LegislativeChamber "立法院")	domainEnglishFormat.kif 33921-33921	UnitedStatesSenate is an instance of LegislativeChamber
(termFormat ChineseTraditionalLanguage LegislativeChamber "立法院")	domainEnglishFormat.kif 33920-33920	UnitedStatesSenate is an instance of LegislativeChamber
(termFormat EnglishLanguage LegislativeChamber "legislative chamber")	domainEnglishFormat.kif 33919-33919	UnitedStatesSenate is an instance of 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))

Government.kif 1939-1947

consequent

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