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 2083-2086
(domain judicialBranch 1 Organization) Government.kif 2080-2080 The number 1 argument of judicial branch is an instance of organization
(domain judicialBranch 2 Agent) Government.kif 2081-2081 The number 2 argument of judicial branch is an instance of agent
(instance judicialBranch AsymmetricRelation) Government.kif 2079-2079 judicial branch is an instance of asymmetric relation
(instance judicialBranch BinaryPredicate) Government.kif 2078-2078 judicial branch is an instance of binary predicate

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 31836-31836
(termFormat ChineseTraditionalLanguage judicialBranch "司法部門") domainEnglishFormat.kif 31835-31835
(termFormat EnglishLanguage judicialBranch "judicial branch") domainEnglishFormat.kif 31834-31834

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


(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))
Government.kif 2116-2121
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))
Government.kif 2110-2114
(=>
    (and
        (judicialBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))
Government.kif 2104-2108
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2098-2102
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (JudiciaryFn ?AGENT)))
Government.kif 2133-2135
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 2088-2092
(=>
    (judicialBranch ?ORG ?AGENT)
    (instance ?ORG JudicialOrganization))
Government.kif 2094-2096

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


(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2141-2145
(=>
    (instance
        (JudiciaryFn ?AGENT) Organization)
    (judicialBranch
        (JudiciaryFn ?AGENT) ?AGENT))
Government.kif 2137-2139


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