judicialBranch - Sigma Knowledge base Browser

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	The number 1 argument of judicial branch is an instance of organization
(domain judicialBranch 2 AutonomousAgent)	Government.kif 2057-2057	The number 2 argument of judicial branch is an instance of agent
(instance judicialBranch AsymmetricRelation)	Government.kif 2055-2055	judicial branch is an instance of asymmetric relation
(instance judicialBranch BinaryPredicate)	Government.kif 2054-2054	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 31877-31877
(termFormat ChineseTraditionalLanguage judicialBranch "司法部門")	domainEnglishFormat.kif 31876-31876
(termFormat EnglishLanguage judicialBranch "judicial branch")	domainEnglishFormat.kif 31875-31875

antecedent

(=> (and (judicialBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 2092-2097	If a geopolitical area is a judicial branch of an organization and the geopolitical area is an instance of geopolitical area and another organization is a part of the organization the organization, then the other organization is a part of the organization the government of the geopolitical area
(=> (and (judicialBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?BRANCH (GovernmentFn ?AREA)))	Government.kif 2086-2090	If a geopolitical area is a judicial branch of an organization and the geopolitical area is an instance of geopolitical area, then the organization is a part of the organization the government of the geopolitical area
(=> (and (judicialBranch ?BRANCH ?ORG) (instance ?ORG Organization)) (subOrganization ?BRANCH ?ORG))	Government.kif 2080-2084	If an organization is a judicial branch of another organization and the organization is an instance of organization, then the other organization is a part of the organization the organization
(=> (and (judicialBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization))	Government.kif 2074-2078	If an agent is a judicial branch of an organization and the agent is an instance of geopolitical area, then the organization is an instance of government organization
(=> (judicialBranch ?BRANCH ?AGENT) (equal ?BRANCH (JudiciaryFn ?AGENT)))	Government.kif 2109-2111	If a geopolitical area is a judicial branch of a judicial organization, then the judicial organization is equal to the judiciary of the geopolitical area
(=> (judicialBranch ?BRANCH ?AGENT) (or (instance ?BRANCH GeopoliticalArea) (instance ?BRANCH Organization)))	Government.kif 2064-2068	If an agent is a judicial branch of an organization, then the organization is an instance of geopolitical area or the organization is an instance of organization
(=> (judicialBranch ?ORG ?AGENT) (instance ?ORG JudicialOrganization))	Government.kif 2070-2072	If an agent is a judicial branch of an organization, then the organization is an instance of judicial organization

consequent

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

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