holdsObligation |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage holdsObligation "%2 %n 有义务执行 %1 的任务") | chinese_format.kif 213-213 | |
(format EnglishLanguage holdsObligation "%2 is %n obliged to perform tasks of type %1") | english_format.kif 214-214 | |
(termFormat ChineseLanguage holdsObligation "持有义务") | domainEnglishFormat.kif 28350-28350 | |
(termFormat ChineseLanguage holdsObligation "有执行义务") | chinese_format.kif 214-214 | |
(termFormat ChineseTraditionalLanguage holdsObligation "持有義務") | domainEnglishFormat.kif 28349-28349 | |
(termFormat EnglishLanguage holdsObligation "holds obligation") | domainEnglishFormat.kif 28348-28348 |
consequent |
![]() |
![]() |
![]() |