| 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 | |
| (domain judicialBranch 2 AutonomousAgent) | Government.kif 2059-2059 | |
| (instance judicialBranch AsymmetricRelation) | Government.kif 2057-2057 | |
| (instance judicialBranch BinaryPredicate) | Government.kif 2056-2056 |
| 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 31878-31878 | |
| (termFormat ChineseTraditionalLanguage judicialBranch "司法部門") | domainEnglishFormat.kif 31877-31877 | |
| (termFormat EnglishLanguage judicialBranch "judicial branch") | domainEnglishFormat.kif 31876-31876 |
| antecedent |
|
|
| (=> (and (judicialBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA))) |
Government.kif 2094-2099 | |
| (=> (and (judicialBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?BRANCH (GovernmentFn ?AREA))) |
Government.kif 2088-2092 | |
| (=> (and (judicialBranch ?BRANCH ?ORG) (instance ?ORG Organization)) (subOrganization ?BRANCH ?ORG)) |
Government.kif 2082-2086 | |
| (=> (and (judicialBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization)) |
Government.kif 2076-2080 | |
| (=> (judicialBranch ?BRANCH ?AGENT) (equal ?BRANCH (JudiciaryFn ?AGENT))) |
Government.kif 2111-2113 | |
| (=> (judicialBranch ?BRANCH ?AGENT) (or (instance ?BRANCH GeopoliticalArea) (instance ?BRANCH Organization))) |
Government.kif 2066-2070 | |
| (=> (judicialBranch ?ORG ?AGENT) (instance ?ORG JudicialOrganization)) |
Government.kif 2072-2074 |
| consequent |
|
|
| (=> (and (instance (JudiciaryFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (judicialBranch (JudiciaryFn ?AREA) (GovernmentFn ?AREA))) |
Government.kif 2119-2123 | |
| (=> (instance (JudiciaryFn ?AGENT) Organization) (judicialBranch (JudiciaryFn ?AGENT) ?AGENT)) |
Government.kif 2115-2117 |
|
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