Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - judicialBranch
judicialBranch

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


(instance judicialBranch BinaryPredicate) Government.kif 2063-2063 judicial branch is an instance of binary predicate
(instance judicialBranch AsymmetricRelation) Government.kif 2064-2064 judicial branch is an instance of asymmetric relation
(domain judicialBranch 1 Organization) Government.kif 2065-2065 The number 1 argument of judicial branch is an instance of organization
(domain judicialBranch 2 AutonomousAgent) Government.kif 2066-2066 The number 2 argument of judicial branch is an instance of agent
(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 2068-2071 The number 2 argument of judicial branch is an instance of agent

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


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

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


(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))		 Government.kif 2073-2077 If X is a judicial branch of Y, then Y is an instance of geopolitical area or Y is an instance of organization
(=>
    (judicialBranch ?ORG ?AGENT)
    (instance ?ORG JudicialOrganization))		 Government.kif 2079-2081 If X is a judicial branch of Y, then Y is an instance of judicial organization
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))		 Government.kif 2083-2087 If X is a judicial branch of Y and X is an instance of geopolitical area, then Y is an instance of government organization
(=>
    (and
        (judicialBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))		 Government.kif 2089-2093 If X is a judicial branch of Y and X is an instance of organization, then Y is a part of the organization X
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 2095-2099 If X is a judicial branch of Y and X is an instance of geopolitical area, then Y is a part of the organization the government of X
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 2101-2106 If X is a judicial branch of Y, X is an instance of geopolitical area, and Z is a part of the organization Y, then Z is a part of the organization the government of X
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (JudiciaryFn ?AGENT)))		 Government.kif 2117-2119 If X is a judicial branch of Y, then equal Y and the judiciary of X

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


(=>
    (instance
        (JudiciaryFn ?AGENT) Organization)
    (judicialBranch
        (JudiciaryFn ?AGENT) ?AGENT))		 Government.kif 2121-2123 If the judiciary of X is an instance of organization, then X is a judicial branch of the judiciary of X
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2125-2129 If the judiciary of X is an instance of organization and X is an instance of geopolitical area, then the government of X is a judicial branch of the judiciary of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners