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 2059-2062
(domain judicialBranch 1 Organization) Government.kif 2056-2056 judicialBranch の数値 1 引数は 組織 の instance では
(domain judicialBranch 2 AutonomousAgent) Government.kif 2057-2057 judicialBranch の数値 2 引数は AutonomousAgent の instance では
(instance judicialBranch AsymmetricRelation) Government.kif 2055-2055 judicialBranch は 非対称関係 の instance では
(instance judicialBranch BinaryPredicate) Government.kif 2054-2054 judicialBranch は 2進述語 の 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 31860-31860
(termFormat ChineseTraditionalLanguage judicialBranch "司法部門") domainEnglishFormat.kif 31859-31859
(termFormat EnglishLanguage judicialBranch "judicial branch") domainEnglishFormat.kif 31858-31858

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


(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 2092-2097
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 2086-2090
(=>
    (and
        (judicialBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))		 Government.kif 2080-2084
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))		 Government.kif 2074-2078
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (JudiciaryFn ?AGENT)))		 Government.kif 2108-2110
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))		 Government.kif 2064-2068
(=>
    (judicialBranch ?ORG ?AGENT)
    (instance ?ORG JudicialOrganization))		 Government.kif 2070-2072

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


(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2116-2120
(=>
    (instance
        (JudiciaryFn ?AGENT) Organization)
    (judicialBranch
        (JudiciaryFn ?AGENT) ?AGENT))		 Government.kif 2112-2114


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