Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  BicameralLegislature
|
|
|
| appearance as argument number 1 |
|
|
| (instance BicameralLegislature FormOfGovernment) | Government.kif 1923-1923 | Bicameral legislature is an instance of form of government |
| (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 1925-1928 | Bicameral legislature is an instance of form of government |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 1930-1938 | If X is an instance of bicameral legislature, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of legislative chamber (3) Y is a part of the organization X (4) Z is an instance of legislative chamber (5) Z is a part of the organization X (6) equal Y (7) Z |
| (=> (attribute ?ORG BicameralLegislature) (not (instance ?ORG LegislativeChamber))) |
Government.kif 1965-1967 | If bicameral legislature is an attribute of X, then X is not an instance of legislative chamber |
|