TreeView Knowledge Base Browser - judicialBranch

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	Die Zahl 1 Argument von judicialBranch ist ein fall von Organization %n{nicht}
(domain judicialBranch 2 AutonomousAgent)	Government.kif 2059-2059	Die Zahl 2 Argument von judicialBranch ist ein fall von AutonomousAgent %n{nicht}
(instance judicialBranch AsymmetricRelation)	Government.kif 2057-2057	judicialBranch ist ein fall von AsymmetricRelation %n{nicht}
(instance judicialBranch BinaryPredicate)	Government.kif 2056-2056	judicialBranch ist ein fall von BinaryPredicate %n{nicht}

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	Wenn judicialBranch Organization and GeopoliticalArea und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und subOrganization Organization and Organization, dann subOrganization Organization and GovernmentFn GeopoliticalArea
(=> (and (judicialBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?BRANCH (GovernmentFn ?AREA)))	Government.kif 2088-2092	Wenn judicialBranch Organization and GeopoliticalArea und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht}, dann subOrganization Organization and GovernmentFn ** GeopoliticalArea
(=> (and (judicialBranch ?BRANCH ?ORG) (instance ?ORG Organization)) (subOrganization ?BRANCH ?ORG))	Government.kif 2082-2086	Wenn judicialBranch Organization and Organization und Organization ist ein fall von Organization %n{nicht}, dann subOrganization Organization and Organization
(=> (and (judicialBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization))	Government.kif 2076-2080	Wenn judicialBranch Organization and AutonomousAgent und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}, dann Organization ist ein fall von GovernmentOrganization %n{nicht}
(=> (judicialBranch ?BRANCH ?AGENT) (equal ?BRANCH (JudiciaryFn ?AGENT)))	Government.kif 2111-2113	Wenn judicialBranch JudicialOrganization and GeopoliticalArea, dann JudicialOrganization ist gleich JudiciaryFn GeopoliticalArea %n{nicht}
(=> (judicialBranch ?BRANCH ?AGENT) (or (instance ?BRANCH GeopoliticalArea) (instance ?BRANCH Organization)))	Government.kif 2066-2070	Wenn judicialBranch Organization and AutonomousAgent, dann Organization ist ein fall von GeopoliticalArea %n{nicht} oder Organization ist ein fall von Organization %n{nicht}
(=> (judicialBranch ?ORG ?AGENT) (instance ?ORG JudicialOrganization))	Government.kif 2072-2074	Wenn judicialBranch Organization and AutonomousAgent, dann ** Organization ist ein fall von JudicialOrganization %n{nicht}

consequent

(=> (and (instance (JudiciaryFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (judicialBranch (JudiciaryFn ?AREA) (GovernmentFn ?AREA)))	Government.kif 2119-2123	Wenn JudiciaryFn GeopoliticalArea ist ein fall von Organization %n{nicht} und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht}, dann judicialBranch JudiciaryFn GeopoliticalArea and GovernmentFn ** GeopoliticalArea
(=> (instance (JudiciaryFn ?AGENT) Organization) (judicialBranch (JudiciaryFn ?AGENT) ?AGENT))	Government.kif 2115-2117	Wenn JudiciaryFn GeopoliticalArea ist ein fall von Organization %n{nicht}, dann judicialBranch JudiciaryFn GeopoliticalArea and GeopoliticalArea

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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