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 1989-1991
(domain legislativeBranch 1 Organization) Government.kif 1986-1986
(domain legislativeBranch 2 Agent) Government.kif 1987-1987
(instance legislativeBranch AsymmetricRelation) Government.kif 1985-1985
(instance legislativeBranch BinaryPredicate) Government.kif 1984-1984

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 33888-33888
(termFormat ChineseTraditionalLanguage legislativeBranch "立法部門") domainEnglishFormat.kif 33887-33887
(termFormat EnglishLanguage legislativeBranch "legislative branch") domainEnglishFormat.kif 33886-33886

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 1963-1971
(=>
    (and
        (legislativeBranch ?ORG ?AGENT)
        (instance ?AGENT Organization))
    (subOrganization ?ORG ?AGENT))
Government.kif 2009-2013
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2003-2007
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))
Government.kif 2015-2019
(=>
    (legislativeBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (LegislatureFn ?AGENT)))
Government.kif 2028-2030
(=>
    (legislativeBranch ?ORG ?AGENT)
    (instance ?ORG LegislativeOrganization))
Government.kif 1999-2001
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1993-1997

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


(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2036-2040
(=>
    (instance
        (LegislatureFn ?AGENT) Organization)
    (legislativeBranch
        (LegislatureFn ?AGENT) ?AGENT))
Government.kif 2032-2034


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