![]() |
![]() ![]() ![]()
|
![]() |
|
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 1923-1925 | |
(subclass LegislativeOrganization Organization) | Government.kif 1921-1921 |
appearance as argument number 2 |
![]() |
(instance UnitedStatesCongress LegislativeOrganization) | Government.kif 1945-1945 | |
(range LegislatureFn LegislativeOrganization) | Government.kif 2034-2034 | |
(subclass LegislativeChamber LegislativeOrganization) | Government.kif 1984-1984 | |
(subclass Parliament LegislativeOrganization) | Government.kif 1939-1939 | |
(termFormat ChineseLanguage LegislativeOrganization "立法组织") | domainEnglishFormat.kif 33900-33900 | |
(termFormat ChineseTraditionalLanguage LegislativeOrganization "立法組織") | domainEnglishFormat.kif 33899-33899 | |
(termFormat EnglishLanguage LegislativeOrganization "legislative organization") | domainEnglishFormat.kif 33898-33898 |
antecedent |
![]() |
(=> (and (instance ?ORG LegislativeOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Government.kif 1927-1932 | |
(=> (instance ?ORG LegislativeOrganization) (capability PassingABill agent ?ORG)) |
Government.kif 1934-1936 |
consequent |
![]() |
(=> (legislativeBranch ?ORG ?AGENT) (instance ?ORG LegislativeOrganization)) |
Government.kif 2010-2012 |
![]() |
![]() |