Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  legislativeBranch

Sigma KEE - legislativeBranch
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 The number 1 argument of legislative branch is an instance of organization
(domain legislativeBranch 2 AutonomousAgent) Government.kif 2001-2001 The number 2 argument of legislative branch is an instance of agent
(instance legislativeBranch AsymmetricRelation) Government.kif 1999-1999 legislative branch is an instance of asymmetric relation
(instance legislativeBranch BinaryPredicate) Government.kif 1998-1998 legislative branch is an instance of binary predicate

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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners