| LegislativeChamber | |
| 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 |
| appearance as argument number 2 |
|
|
| (instance UnitedStatesHouseOfRepresentatives LegislativeChamber) | Government.kif 4779-4779 | |
| (instance UnitedStatesSenate LegislativeChamber) | Government.kif 4786-4786 | |
| (termFormat ChineseLanguage LegislativeChamber "立法院") | domainEnglishFormat.kif 33911-33911 | |
| (termFormat ChineseTraditionalLanguage LegislativeChamber "立法院") | domainEnglishFormat.kif 33910-33910 | |
| (termFormat EnglishLanguage LegislativeChamber "legislative chamber") | domainEnglishFormat.kif 33909-33909 |
| 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 | |
| (=> (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 |
|
|
|