LegislativeOrganization(legislative organization) | ![]() | Continental_Congress, Duma, House_of_Burgesses, chamber, congress, diet, house |
appearance as argument number 1 |
![]() |
(documentation LegislativeOrganization EnglishLanguage "LegislativeOrganization is the class of Organizations that have as their main purpose the passing of laws or regulations.") | Government.kif 1888-1890 | |
(subclass LegislativeOrganization Organization) | Government.kif 1886-1886 | 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 1892-1897 |
|
(=> (instance ?ORG LegislativeOrganization) (capability PassingABill agent ?ORG)) |
Government.kif 1899-1901 |
|
consequent |
![]() |
(=> (legislativeBranch ?ORG ?AGENT) (instance ?ORG LegislativeOrganization)) |
Government.kif 1975-1977 |
|
![]() |
![]() |