| BicameralLegislature | |
| appearance as argument number 1 |
|
|
| (documentation BicameralLegislature EnglishLanguage "BicameralLegislature is the Attribute of governments whose legislative branches have two legislative chambers. For example, in the UnitedStates the legislative branch comprises the Senate and the House of Representatives.") | Government.kif 1916-1919 | |
| (instance BicameralLegislature FormOfGovernment) | Government.kif 1914-1914 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BicameralLegislature "两院制立法机关") | domainEnglishFormat.kif 10968-10968 | |
| (termFormat ChineseTraditionalLanguage BicameralLegislature "兩院制立法機關") | domainEnglishFormat.kif 10967-10967 | |
| (termFormat EnglishLanguage BicameralLegislature "bicameral legislature") | domainEnglishFormat.kif 10966-10966 |
| antecedent |
|
|
| (=> (attribute ?ORG BicameralLegislature) (not (instance ?ORG LegislativeChamber))) |
Government.kif 1956-1958 | |
| (=> (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 |
|
|
|