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 3996-3998 | |
(documentation confersNorm JapaneseLanguage "Formula が ObjectiveNorm を保持していると Entity がもたらすとき、Formula、Entity、および ObjectiveNorm 間で関係を表す。") | japanese_format.kif 754-755 | |
(domain confersNorm 1 Entity) | Merge.kif 3992-3992 | Die Zahl 1 Argument von confersNorm ist ein fall von Entity %n{nicht} |
(domain confersNorm 2 Formula) | Merge.kif 3993-3993 | Die Zahl 2 Argument von confersNorm ist ein fall von Formula %n{nicht} |
(domain confersNorm 3 ObjectiveNorm) | Merge.kif 3994-3994 | Die Zahl 3 Argument von confersNorm ist ein fall von ObjectiveNorm %n{nicht} |
(instance confersNorm TernaryPredicate) | Merge.kif 3991-3991 | confersNorm ist ein fall von TernaryPredicate %n{nicht} |
appearance as argument number 2 |
![]() |
(disjointRelation deprivesNorm confersNorm) | Merge.kif 4013-4013 | deprivesNorm und confersNorm werden disjunkt |
(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 |
![]() |
consequent |
![]() |
![]() |
![]() |