confersNorm |
appearance as argument number 1 |
appearance as argument number 2 |
(disjointRelation deprivesNorm confersNorm) | Merge.kif 4013-4013 | deprivesNorm e confersNorm sao disjuntos |
(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 4000-4010 |
|
consequent |