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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 legislativeBranch の数値 1 引数は 組織instance では %n
(domain legislativeBranch 2 AutonomousAgent) Government.kif 2001-2001 legislativeBranch の数値 2 引数は AutonomousAgentinstance では %n
(instance legislativeBranch AsymmetricRelation) Government.kif 1999-1999 legislativeBranch非対称関係instance では %n
(instance legislativeBranch BinaryPredicate) Government.kif 1998-1998 legislativeBranch2進述語instance では %n

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 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 is open source software produced by Articulate Software and its partners