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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - judicialBranch
judicialBranch

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


(documentation judicialBranch EnglishLanguage "(judicialBranch ?BRANCH ?ORG) means that the Organization ?BRANCH is the judicial branch of the GeopoliticalArea or Organization ?ORG, that is, all of its courts and judicial offices, considered as a whole.") Government.kif 2097-2100
(domain judicialBranch 1 Organization) Government.kif 2094-2094 司法部门 的 1 数量 是 机构instance
(domain judicialBranch 2 AutonomousAgent) Government.kif 2095-2095 司法部门 的 2 数量 是 施事体instance
(instance judicialBranch AsymmetricRelation) Government.kif 2093-2093 司法部门非对称关系instance
(instance judicialBranch BinaryPredicate) Government.kif 2092-2092 司法部门二元谓语instance

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


(format ChineseLanguage judicialBranch "%2 %n 是 %1 的 judicial 分支") domainEnglishFormat.kif 1405-1405
(format ChineseTraditionalLanguage judicialBranch "%2 %n 是 %1 的 judicial 分支") domainEnglishFormat.kif 1404-1404
(format EnglishLanguage judicialBranch "%2 is %n a judicial branch of %1") domainEnglishFormat.kif 1403-1403
(termFormat ChineseLanguage judicialBranch "司法部门") domainEnglishFormat.kif 31849-31849
(termFormat ChineseTraditionalLanguage judicialBranch "司法部門") domainEnglishFormat.kif 31848-31848
(termFormat EnglishLanguage judicialBranch "judicial branch") domainEnglishFormat.kif 31847-31847

antecedent
-------------------------


(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))
Government.kif 2130-2135
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))
Government.kif 2124-2128
(=>
    (and
        (judicialBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))
Government.kif 2118-2122
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2112-2116
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (JudiciaryFn ?AGENT)))
Government.kif 2147-2149
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 2102-2106
(=>
    (judicialBranch ?ORG ?AGENT)
    (instance ?ORG JudicialOrganization))
Government.kif 2108-2110

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


(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2155-2159
(=>
    (instance
        (JudiciaryFn ?AGENT) Organization)
    (judicialBranch
        (JudiciaryFn ?AGENT) ?AGENT))
Government.kif 2151-2153


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