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 3997-3999 | |
(documentation confersNorm JapaneseLanguage "Formula が ObjectiveNorm を保持していると Entity がもたらすとき、Formula、Entity、および ObjectiveNorm 間で関係を表す。") | japanese_format.kif 754-755 | |
(domain confersNorm 1 Entity) | Merge.kif 3993-3993 | confersNorm の数値 1 引数は エンティティー の instance では %n |
(domain confersNorm 2 Formula) | Merge.kif 3994-3994 | confersNorm の数値 2 引数は 公式 の instance では %n |
(domain confersNorm 3 ObjectiveNorm) | Merge.kif 3995-3995 | confersNorm の数値 3 引数は 客観的規範 の instance では %n |
(instance confersNorm TernaryPredicate) | Merge.kif 3992-3992 | confersNorm は 3進述語 の instance では %n |
appearance as argument number 2 |
(disjointRelation deprivesNorm confersNorm) | Merge.kif 4014-4014 | deprivesNorm と confersNorm は disjoint では %n |
(format ChineseLanguage confersNorm "%1 %n{不是} confers 规范 %2 对于 %3 ") | domainEnglishFormat.kif 520-520 | |
(format ChineseTraditionalLanguage confersNorm "%1 %n{不是} confers 規範 %2 對於 %3 ") | domainEnglishFormat.kif 519-519 | |
(format EnglishLanguage confersNorm "%1 %n{doesn't} confers norm %2 for %3") | domainEnglishFormat.kif 518-518 | |
(termFormat ChineseLanguage confersNorm "赋予规范") | domainEnglishFormat.kif 16578-16578 | |
(termFormat ChineseTraditionalLanguage confersNorm "賦予規範") | domainEnglishFormat.kif 16577-16577 | |
(termFormat EnglishLanguage confersNorm "confers norm") | domainEnglishFormat.kif 16576-16576 |
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 4001-4011 |
consequent |