| LegislativeOrganization | |
| 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 |
| appearance as argument number 2 |
|
|
| (instance UnitedStatesCongress LegislativeOrganization) | Government.kif 1910-1910 | |
| (range LegislatureFn LegislativeOrganization) | Government.kif 1999-1999 | |
| (subclass LegislativeChamber LegislativeOrganization) | Government.kif 1949-1949 | |
| (subclass Parliament LegislativeOrganization) | Government.kif 1904-1904 | |
| (termFormat ChineseLanguage LegislativeOrganization "立法组织") | domainEnglishFormat.kif 33928-33928 | |
| (termFormat ChineseTraditionalLanguage LegislativeOrganization "立法組織") | domainEnglishFormat.kif 33927-33927 | |
| (termFormat EnglishLanguage LegislativeOrganization "legislative organization") | domainEnglishFormat.kif 33926-33926 |
| 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 |
|
|
|