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 2061-2064
(domain judicialBranch 1 Organization)	Government.kif 2058-2058	The number 1 argument of judicial branch is an instance of organization
(domain judicialBranch 2 AutonomousAgent)	Government.kif 2059-2059	The number 2 argument of judicial branch is an instance of agent
(instance judicialBranch AsymmetricRelation)	Government.kif 2057-2057	judicial branch is an instance of asymmetric relation
(instance judicialBranch BinaryPredicate)	Government.kif 2056-2056	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 31849-31849
(termFormat ChineseTraditionalLanguage judicialBranch "司法部門")	domainEnglishFormat.kif 31848-31848
(termFormat EnglishLanguage judicialBranch "judicial branch")	domainEnglishFormat.kif 31847-31847

antecedent

(=> (and (judicialBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 2094-2099	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 2088-2092	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 2082-2086	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 2076-2080	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 2111-2113	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 2066-2070	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 2072-2074	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 2119-2123	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 2115-2117	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