Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - legislativeBranch
legislativeBranch

appearance as argument number 1
-------------------------


(instance legislativeBranch BinaryPredicate) Government.kif 1969-1969 legislative branch is an instance of binary predicate
(instance legislativeBranch AsymmetricRelation) Government.kif 1970-1970 legislative branch is an instance of asymmetric relation
(domain legislativeBranch 1 Organization) Government.kif 1971-1971 The number 1 argument of legislative branch is an instance of organization
(domain legislativeBranch 2 AutonomousAgent) Government.kif 1972-1972 The number 2 argument of legislative branch is an instance of agent
(documentation legislativeBranch EnglishLanguage "(legislativeBranch ?BRANCH ?ORG) means that the Organization ?BRANCH is the legislative branch of the GeopoliticalArea or Organization ?ORG.") Government.kif 1974-1976 The number 2 argument of legislative branch is an instance of agent

appearance as argument number 2
-------------------------


(format EnglishLanguage legislativeBranch "%2 is %n a legislative branch of %1") domainEnglishFormat.kif 1465-1465
(format ChineseTraditionalLanguage legislativeBranch "%2 %n 是 %1 的 legislative 分支") domainEnglishFormat.kif 1466-1466
(format ChineseLanguage legislativeBranch "%2 %n 是 %1 的 legislative 分支") domainEnglishFormat.kif 1467-1467
(termFormat EnglishLanguage legislativeBranch "legislative branch") domainEnglishFormat.kif 33907-33907
(termFormat ChineseTraditionalLanguage legislativeBranch "立法部門") domainEnglishFormat.kif 33908-33908
(termFormat ChineseLanguage legislativeBranch "立法部门") domainEnglishFormat.kif 33909-33909

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 1948-1956 If All of the following hold: (1) unicameral legislature is an attribute of X (2) Y is a legislative branch of X (3) Z is an instance of legislative chamber (4) Z is a part of the organization the government of Y (5) W is an instance of legislative chamber (6) W is a part of the organization the government of Y, then equal Z and W
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1978-1982 If X is a legislative branch of Y, then X is an instance of organization or X is an instance of geopolitical area
(=>
    (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
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))		 Government.kif 1988-1992 If X is a legislative branch of Y and X is an instance of geopolitical area, then Y is an instance of government organization
(=>
    (and
        (legislativeBranch ?ORG ?AGENT)
        (instance ?AGENT Organization))
    (subOrganization ?ORG ?AGENT))		 Government.kif 1994-1998 If X is a legislative branch of Y and X is an instance of organization, then Y is a part of the organization X
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 2000-2004 If X is a legislative branch of Y and X is an instance of geopolitical area, then Y is a part of the organization the government of X
(=>
    (legislativeBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (LegislatureFn ?AGENT)))		 Government.kif 2013-2015 If X is a legislative branch of Y, then equal Y and the legislature of X

consequent
-------------------------


(=>
    (instance
        (LegislatureFn ?AGENT) Organization)
    (legislativeBranch
        (LegislatureFn ?AGENT) ?AGENT))		 Government.kif 2017-2019 If the legislature of X is an instance of organization, then X is a legislative branch of the legislature of X
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2021-2025 If the legislature of X is an instance of organization and X is an instance of geopolitical area, then the government of X is a legislative branch of the legislature of X


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners