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 16107-16109 | |
(domain confersRight 1 Formula) | Merge.kif 16104-16104 | domain confersRight, 1 and Formula |
(domain confersRight 2 Entity) | Merge.kif 16105-16105 | domain confersRight, 2 and Entity |
(domain confersRight 3 CognitiveAgent) | Merge.kif 16106-16106 | domain confersRight, 3 and CognitiveAgent |
(instance confersRight TernaryPredicate) | Merge.kif 16103-16103 | instance confersRight and TernaryPredicate |
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 207-207 | |
(relatedInternalConcept confersObligation confersRight) | Merge.kif 16128-16128 | relatedInternalConcept confersObligation and confersRight |
(termFormat ChineseLanguage confersRight "赋予权利") | domainEnglishFormat.kif 16519-16519 | termFormat ChineseLanguage, confersRight and "赋予权利" |
(termFormat ChineseTraditionalLanguage confersRight "賦予權利") | domainEnglishFormat.kif 16518-16518 | termFormat ChineseTraditionalLanguage, confersRight and "賦予權利" |
(termFormat EnglishLanguage confersRight "confers right") | domainEnglishFormat.kif 16517-16517 | termFormat EnglishLanguage, confersRight and "confers right" |
antecedent |
![]() |
(=> (and (agreementEffectiveDate ?AGR ?DATE) (confersRight ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?FORMULA ?AGENT))) |
Government.kif 708-713 | |
(=> (confersRight ?FORMULA ?AGENT1 ?AGENT2) (holdsRight ?FORMULA ?AGENT2)) |
Merge.kif 16111-16113 |
consequent |
![]() |
![]() |
![]() |