confersRight |
appearance as argument number 1 |
![]() |
(documentation confersRight ChineseLanguage "这是用来表达 Formula、Entity 和 CognitiveAgent 三者之间的一种关系,那就是 Entity 授权于 CognitiveAgent 去实现 Formula 所指的。") | chinese_format.kif 3895-3897 | |
(documentation confersRight EnglishLanguage "Expresses the relationship between a Formula, an Entity, and a CognitiveAgent when the Entity authorizes the CognitiveAgent to bring it about that the Formula is true.") | Merge.kif 17189-17191 | |
(domain confersRight 1 Formula) | Merge.kif 17186-17186 | 赋予权利 的 1 数量 是 公式 的 instance |
(domain confersRight 2 Entity) | Merge.kif 17187-17187 | 赋予权利 的 2 数量 是 实体 的 instance |
(domain confersRight 3 CognitiveAgent) | Merge.kif 17188-17188 | 赋予权利 的 3 数量 是 有认知的主事 的 instance |
(instance confersRight TernaryPredicate) | Merge.kif 17185-17185 | 赋予权利 是 三元谓语 的 instance |
appearance as argument number 2 |
![]() |
(format ChineseLanguage confersRight "%2 %n{doesn't} 允许 %3 执行 %1 的任务") | chinese_format.kif 203-203 | |
(format EnglishLanguage confersRight "%2 %n{doesn't} allow%p{s} %3 to perform task of the type %1") | english_format.kif 204-204 | |
(relatedInternalConcept confersObligation confersRight) | Merge.kif 17210-17210 | 授予执行任务 和 赋予权利 是 内部相关 |
(termFormat ChineseLanguage confersRight "赋予权利") | domainEnglishFormat.kif 16581-16581 | |
(termFormat ChineseTraditionalLanguage confersRight "賦予權利") | domainEnglishFormat.kif 16580-16580 | |
(termFormat EnglishLanguage confersRight "confers right") | domainEnglishFormat.kif 16579-16579 |
antecedent |
![]() |
(=> (and (agreementEffectiveDate ?AGR ?DATE) (confersRight ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?FORMULA ?AGENT))) |
Government.kif 719-724 | |
(=> (confersRight ?FORMULA ?AGENT1 ?AGENT2) (holdsRight ?FORMULA ?AGENT2)) |
Merge.kif 17193-17195 |
consequent |
![]() |
![]() |
![]() |