BicameralLegislature(bicameral legislature) | bicameral |
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 1918-1921 | |
(instance BicameralLegislature FormOfGovernment) | Government.kif 1916-1916 | Bicameral legislature is an instance of form of government |
appearance as argument number 2 |
(termFormat ChineseLanguage BicameralLegislature "两院制立法机关") | domainEnglishFormat.kif 10961-10961 | |
(termFormat ChineseTraditionalLanguage BicameralLegislature "兩院制立法機關") | domainEnglishFormat.kif 10960-10960 | |
(termFormat EnglishLanguage BicameralLegislature "bicameral legislature") | domainEnglishFormat.kif 10959-10959 |
antecedent |
(=> (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 |
|