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 |
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 |
|