Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LegislativeOrganization(legislative organization) |  | Continental_Congress, Duma, House_of_Burgesses, chamber, congress, diet, house |
| appearance as argument number 1 |
|
|
| (subclass LegislativeOrganization Organization) | Government.kif 1895-1895 | Legislative organization is a subclass of organization |
| (documentation LegislativeOrganization EnglishLanguage "LegislativeOrganization is the class of Organizations that have as their main purpose the passing of laws or regulations.") | Government.kif 1897-1899 | Legislative organization is a subclass of organization |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORG LegislativeOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Government.kif 1901-1906 | If X is an instance of legislative organization, X is a part of the organization Y, and Y is an instance of government organization, then X is an instance of government organization |
| (=> (instance ?ORG LegislativeOrganization) (capability PassingABill agent ?ORG)) |
Government.kif 1908-1910 | If X is an instance of legislative organization, then X is capable of doing passing a bill as a agent |
| consequent |
|
|
| (=> (legislativeBranch ?ORG ?AGENT) (instance ?ORG LegislativeOrganization)) |
Government.kif 1984-1986 | If X is a legislative branch of Y, then Y is an instance of legislative organization |
|