Obligation
|
|
appearance as argument number 1 |
(documentation Obligation ChineseLanguage "这个 Attribute 是用来表示某种权威要求 Agent 去 实现 Proposition。") | chinese_format.kif 3907-3908 | |
(documentation Obligation EnglishLanguage "Attribute that applies to Propositions that an AutonomousAgent is required, by some authority, to make true.") | Merge.kif 17476-17477 | |
(instance Obligation DeonticAttribute) | Merge.kif 17475-17475 | Obligation is an instance of deontic attribute |
appearance as argument number 2 |
(subAttribute Law Obligation) | Merge.kif 17487-17487 | Law is a subattribute of obligation |
(subAttribute Promise Obligation) | Merge.kif 17494-17494 | Promise is a subattribute of obligation |
(termFormat ChineseLanguage Obligation "义务") | domainEnglishFormat.kif 41548-41548 | |
(termFormat ChineseTraditionalLanguage Obligation "義務") | domainEnglishFormat.kif 41547-41547 | |
(termFormat EnglishLanguage Obligation "obligation") | domainEnglishFormat.kif 41546-41546 |
antecedent |
consequent |