legislativeBranch |
appearance as argument number 1 |
(documentation legislativeBranch EnglishLanguage "(legislativeBranch ?BRANCH ?ORG) means that the Organization ?BRANCH is the legislative branch of the GeopoliticalArea or Organization ?ORG.") | Government.kif 2003-2005 | |
(domain legislativeBranch 1 Organization) | Government.kif 2000-2000 | |
(domain legislativeBranch 2 AutonomousAgent) | Government.kif 2001-2001 | |
(instance legislativeBranch AsymmetricRelation) | Government.kif 1999-1999 | |
(instance legislativeBranch BinaryPredicate) | Government.kif 1998-1998 |
appearance as argument number 2 |
(format ChineseLanguage legislativeBranch "%2 %n 是 %1 的 legislative 分支") | domainEnglishFormat.kif 1467-1467 | |
(format ChineseTraditionalLanguage legislativeBranch "%2 %n 是 %1 的 legislative 分支") | domainEnglishFormat.kif 1466-1466 | |
(format EnglishLanguage legislativeBranch "%2 is %n a legislative branch of %1") | domainEnglishFormat.kif 1465-1465 | |
(termFormat ChineseLanguage legislativeBranch "立法部门") | domainEnglishFormat.kif 33905-33905 | |
(termFormat ChineseTraditionalLanguage legislativeBranch "立法部門") | domainEnglishFormat.kif 33904-33904 | |
(termFormat EnglishLanguage legislativeBranch "legislative branch") | domainEnglishFormat.kif 33903-33903 |
antecedent |
(=> (and (attribute ?ORG UnicameralLegislature) (legislativeBranch ?ORG ?AREA) (instance ?CHAMBER1 LegislativeChamber) (subOrganization ?CHAMBER1 (GovernmentFn ?AREA)) (instance ?CHAMBER2 LegislativeChamber) (subOrganization ?CHAMBER2 (GovernmentFn ?AREA))) (equal ?CHAMBER1 ?CHAMBER2)) |
Government.kif 1977-1985 | |
(=> (and (legislativeBranch ?ORG ?AGENT) (instance ?AGENT Organization)) (subOrganization ?ORG ?AGENT)) |
Government.kif 2023-2027 | |
(=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization)) |
Government.kif 2017-2021 | |
(=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?ORG (GovernmentFn ?AREA))) |
Government.kif 2029-2033 | |
(=> (legislativeBranch ?BRANCH ?AGENT) (equal ?BRANCH (LegislatureFn ?AGENT))) |
Government.kif 2042-2044 | |
(=> (legislativeBranch ?ORG ?AGENT) (instance ?ORG LegislativeOrganization)) |
Government.kif 2013-2015 | |
(=> (legislativeBranch ?ORG ?AGENT) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 2007-2011 |
consequent |
(=> (and (instance (LegislatureFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (legislativeBranch (LegislatureFn ?AREA) (GovernmentFn ?AREA))) |
Government.kif 2050-2054 | |
(=> (instance (LegislatureFn ?AGENT) Organization) (legislativeBranch (LegislatureFn ?AGENT) ?AGENT)) |
Government.kif 2046-2048 |