deprivesNorm |
appearance as argument number 1 |
(disjointRelation deprivesNorm confersNorm) | Merge.kif 4014-4014 | deprivesNorm und confersNorm werden disjunkt |
(documentation deprivesNorm ChineseLanguage "这个概念表达了一个 Entity,Formula 和一个 ObjectiveNorm 之间的关系:就是这个 Entity 所表示的 Formula 没有那个 ObjectiveNorm。") | chinese_format.kif 2105-2106 | |
(documentation deprivesNorm EnglishLanguage "Expresses the relationship between an Entity, a Formula, and an ObjectiveNorm when the Entity brings it about that the Formula does not have the ObjectiveNorm.") | Merge.kif 4019-4021 | |
(documentation deprivesNorm JapaneseLanguage "Formula が ObjectiveNorm を保持していない、 と Entity がもたらすとき、Entity、Formula、および ObjectiveNorm 間で関係を表す。") | japanese_format.kif 756-757 | |
(domain deprivesNorm 1 Entity) | Merge.kif 4015-4015 | Die Zahl 1 Argument von deprivesNorm ist ein fall von Entity %n{nicht} |
(domain deprivesNorm 2 Formula) | Merge.kif 4016-4016 | Die Zahl 2 Argument von deprivesNorm ist ein fall von Formula %n{nicht} |
(domain deprivesNorm 3 ObjectiveNorm) | Merge.kif 4017-4017 | Die Zahl 3 Argument von deprivesNorm ist ein fall von ObjectiveNorm %n{nicht} |
(instance deprivesNorm TernaryPredicate) | Merge.kif 4013-4013 | deprivesNorm ist ein fall von TernaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage deprivesNorm "%1 %n{不} 对 %3 剥夺规范 %2 ") | domainEnglishFormat.kif 716-716 | |
(format ChineseTraditionalLanguage deprivesNorm "%1 %n{不} 對 %3 剝奪規範 %2 ") | domainEnglishFormat.kif 715-715 | |
(format EnglishLanguage deprivesNorm "%1 %n{doesn't} deprives norm %2 for %3") | domainEnglishFormat.kif 714-714 | |
(termFormat ChineseLanguage deprivesNorm "剥夺了规范") | domainEnglishFormat.kif 19176-19176 | |
(termFormat ChineseTraditionalLanguage deprivesNorm "剝奪了規範") | domainEnglishFormat.kif 19175-19175 | |
(termFormat EnglishLanguage deprivesNorm "deprives norm") | domainEnglishFormat.kif 19174-19174 |
antecedent |
(=> (deprivesNorm ?E ?F Permission) (deprivesNorm ?E ?F Obligation)) |
Law.kif 347-349 |
|
(=> (deprivesNorm ?E ?F Prohibition) (confersNorm ?E ?F Permission)) |
Law.kif 351-353 |
|
(=> (holdsDuring ?TIME (deprivesNorm ?ENTITY ?FORMULA ?NORM)) (and (holdsDuring (ImmediatePastFn ?TIME) (modalAttribute ?FORMULA ?NORM)) (holdsDuring (ImmediateFutureFn ?TIME) (not (modalAttribute ?FORMULA ?NORM))))) |
Merge.kif 4023-4032 |
|
consequent |