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 | LegislativeChamber è una sottoclasse di LegislativeOrganization |
appearance as argument number 2 |
(instance UnitedStatesHouseOfRepresentatives LegislativeChamber) | Government.kif 4779-4779 | UnitedStatesHouseOfRepresentatives è un' istanza di LegislativeChamber |
(instance UnitedStatesSenate LegislativeChamber) | Government.kif 4786-4786 | UnitedStatesSenate è un' istanza di LegislativeChamber |
(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 |
|