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 2051-2054
(domain judicialBranch 1 Organization) Government.kif 2048-2048 domain judicialBranch, 1 and Organization
(domain judicialBranch 2 Agent) Government.kif 2049-2049 domain judicialBranch, 2 and Agent
(instance judicialBranch AsymmetricRelation) Government.kif 2047-2047 instance judicialBranch and AsymmetricRelation
(instance judicialBranch BinaryPredicate) Government.kif 2046-2046 instance judicialBranch and BinaryPredicate

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 31759-31759 termFormat ChineseLanguage, judicialBranch and "司法部门"
(termFormat ChineseTraditionalLanguage judicialBranch "司法部門") domainEnglishFormat.kif 31758-31758 termFormat ChineseTraditionalLanguage, judicialBranch and "司法部門"
(termFormat EnglishLanguage judicialBranch "judicial branch") domainEnglishFormat.kif 31757-31757 termFormat EnglishLanguage, judicialBranch and "judicial branch"

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


(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))
Government.kif 2084-2089
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))
Government.kif 2078-2082
(=>
    (and
        (judicialBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))
Government.kif 2072-2076
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2066-2070
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (JudiciaryFn ?AGENT)))
Government.kif 2101-2103
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 2056-2060
(=>
    (judicialBranch ?ORG ?AGENT)
    (instance ?ORG JudicialOrganization))
Government.kif 2062-2064

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


(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2109-2113
(=>
    (instance
        (JudiciaryFn ?AGENT) Organization)
    (judicialBranch
        (JudiciaryFn ?AGENT) ?AGENT))
Government.kif 2105-2107


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners