confersNorm |
appearance as argument number 1 |
![]() |
(documentation confersNorm ChineseLanguage "这个概念表达一个 Formula 、一个 Entity 和一个 ObjectiveNorm 之间的关系:就是这个 Entity 所表示的 Formula 有那个 ObjectiveNorm。") | chinese_format.kif 2103-2104 | |
(documentation confersNorm EnglishLanguage "Expresses the relationship between a Formula,an Entity, and an ObjectiveNorm when the Entity brings it about that the Formula has the ObjectiveNorm.") | Merge.kif 3992-3994 | |
(documentation confersNorm JapaneseLanguage "Formula が ObjectiveNorm を保持していると Entity がもたらすとき、Formula、Entity、および ObjectiveNorm 間で関係を表す。") | japanese_format.kif 754-755 | |
(domain confersNorm 1 Entity) | Merge.kif 3988-3988 | Le nombre 1 argument de confersNorm est une instance de entit� |
(domain confersNorm 2 Formula) | Merge.kif 3989-3989 | Le nombre 2 argument de confersNorm est une instance de formule |
(domain confersNorm 3 ObjectiveNorm) | Merge.kif 3990-3990 | Le nombre 3 argument de confersNorm est une instance de norme objective |
(instance confersNorm TernaryPredicate) | Merge.kif 3987-3987 | confersNorm est une instance de pr�dicat ternaire |
appearance as argument number 2 |
![]() |
(disjointRelation deprivesNorm confersNorm) | Merge.kif 4009-4009 | deprivesNorm et confersNorm sont disjoint |
(format ChineseLanguage confersNorm "%1 %n{不是} confers 规范 %2 对于 %3 ") | domainEnglishFormat.kif 520-520 | deprivesNorm et confersNorm sont disjoint |
(format ChineseTraditionalLanguage confersNorm "%1 %n{不是} confers 規範 %2 對於 %3 ") | domainEnglishFormat.kif 519-519 | deprivesNorm et confersNorm sont disjoint |
(format EnglishLanguage confersNorm "%1 %n{doesn't} confers norm %2 for %3") | domainEnglishFormat.kif 518-518 | deprivesNorm et confersNorm sont disjoint |
(termFormat ChineseLanguage confersNorm "赋予规范") | domainEnglishFormat.kif 16593-16593 | deprivesNorm et confersNorm sont disjoint |
(termFormat ChineseTraditionalLanguage confersNorm "賦予規範") | domainEnglishFormat.kif 16592-16592 | deprivesNorm et confersNorm sont disjoint |
(termFormat EnglishLanguage confersNorm "confers norm") | domainEnglishFormat.kif 16591-16591 | deprivesNorm et confersNorm sont disjoint |
antecedent |
![]() |
(=> (confersNorm ?E ?F Obligation) (confersNorm ?E ?F Permission)) |
Law.kif 339-341 |
|
(=> (confersNorm ?E ?F Permission) (not (confersNorm ?E ?F Prohibition))) |
Law.kif 330-333 | |
(=> (confersNorm ?E ?F Prohibition) (confersNorm ?E (not ?F) Permission)) |
Law.kif 335-337 | |
(=> (holdsDuring ?TIME (confersNorm ?ENTITY ?FORMULA ?NORM)) (and (holdsDuring (ImmediatePastFn ?TIME) (not (modalAttribute ?FORMULA ?NORM))) (holdsDuring (ImmediateFutureFn ?TIME) (modalAttribute ?FORMULA ?NORM)))) |
Merge.kif 3996-4006 |
|
consequent |
![]() |
![]() |
![]() |