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 17507-17509 | |
(domain confersRight 1 Formula) | Merge.kif 17504-17504 | The number 1 argument of confers right is an instance of formula |
(domain confersRight 2 Entity) | Merge.kif 17505-17505 | The number 2 argument of confers right is an instance of entity |
(domain confersRight 3 CognitiveAgent) | Merge.kif 17506-17506 | The number 3 argument of confers right is an instance of cognitive agent |
(instance confersRight TernaryPredicate) | Merge.kif 17503-17503 | confers right is an instance of ternary predicate |
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 | |
(format FrenchLanguage confersRight "%2 %n{n'} autorise %n{pas} %3 � ex�cut� des t�ches du type %1") | french_format.kif 121-121 | |
(format ItalianLanguage confersRight "%2 permette a %3 di compiere il compito di tipo %1") | relations-it.txt 51-51 | |
(format JapaneseLanguage confersRight "%2 は %3 が %1 のタスクを実行することはを allow%p{s} %n{ない}") | japanese_format.kif 1950-1950 | |
(format PortugueseLanguage confersRight "%2 %n{nao} autoriza %n %3 a executar tarefas de tipo %1") | portuguese_format.kif 73-73 | |
(format de confersRight "%2 erlaubt %3, die Aufgabe der Art von %1 durchzuf�hren %n{nicht}") | relations-de.txt 261-261 | |
(format hi confersRight "%2 %3 ko %1 ke prakaara kaa kaama karane kaa adhikaara detaa hai") | relations-hindi.txt 92-92 | |
(format ro confersRight "%2 %n{nu-i} allow%t{permite} lui %3 sã execute sarcina de tipul %1") | relations-ro.kif 140-140 | |
(format sv confersRight "%2 tillåter %n{inte} %3 att utföra uppgifter av typen %1") | relations-sv.txt 126-126 | |
(format tg confersRight "%2 nagpapahintulot %3 gawin ang gawain sa ang klase %1") | relations-cb.txt 85-85 | |
(relatedInternalConcept confersObligation confersRight) | Merge.kif 17528-17528 | confers obligation is internally related to confers right |
(termFormat ChineseLanguage confersRight "赋予权利") | domainEnglishFormat.kif 16590-16590 | |
(termFormat ChineseTraditionalLanguage confersRight "賦予權利") | domainEnglishFormat.kif 16589-16589 | |
(termFormat EnglishLanguage confersRight "confers right") | domainEnglishFormat.kif 16588-16588 | |
(termFormat de confersRight "konferiertRecht") | terms-de.txt 83-83 | |
(termFormat tg confersRight "nakikipaghirap nagpapahintulot") | relations-tg.txt 119-119 |
antecedent |
(=> (and (agreementEffectiveDate ?AGR ?DATE) (confersRight ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?FORMULA ?AGENT))) |
Government.kif 685-690 |
|
(=> (confersRight ?FORMULA ?AGENT1 ?AGENT2) (holdsRight ?FORMULA ?AGENT2)) |
Merge.kif 17511-17513 |
|
consequent |