confersNorm |
appearance as argument number 1 |
appearance as argument number 2 |
(disjointRelation deprivesNorm confersNorm) | Merge.kif 4014-4014 | deprives norm and confers norm are disjoint |
(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 |