| 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 1916-1919 | |
| (instance BicameralLegislature FormOfGovernment) | Government.kif 1914-1914 | Bicameral legislature is an instance of form of government |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BicameralLegislature "两院制立法机关") | domainEnglishFormat.kif 10970-10970 | |
| (termFormat ChineseTraditionalLanguage BicameralLegislature "兩院制立法機關") | domainEnglishFormat.kif 10969-10969 | |
| (termFormat EnglishLanguage BicameralLegislature "bicameral legislature") | domainEnglishFormat.kif 10968-10968 |
| 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 |
|
|
|
|