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 17547-17548 | |
(instance Obligation DeonticAttribute) | Merge.kif 17546-17546 | 义务 是 道义属性 的 instance |
appearance as argument number 2 |
(subAttribute Law Obligation) | Merge.kif 17558-17558 | 法 是 义务 的 subAttribute |
(subAttribute Promise Obligation) | Merge.kif 17565-17565 | 诺言 是 义务 的 subAttribute |
(termFormat ChineseLanguage Obligation "义务") | domainEnglishFormat.kif 41550-41550 | |
(termFormat ChineseTraditionalLanguage Obligation "義務") | domainEnglishFormat.kif 41549-41549 | |
(termFormat EnglishLanguage Obligation "obligation") | domainEnglishFormat.kif 41548-41548 |
antecedent |
(<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission))) |
Merge.kif 17550-17552 | 公式 的声明 has 义务 的语气 若且唯若 那个 公式 的声明 doesn't have 允许 的语气 |
(=> (and (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (or (equal ?ATTR Obligation) (equal ?ATTR Promise))) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) Likely)) |
Mid-level-ontology.kif 14106-14116 | |
(=> (confersNorm ?E ?F Obligation) (confersNorm ?E ?F Permission)) |
Law.kif 339-341 | |
(=> (modalAttribute ?FORMULA Obligation) (modalAttribute ?FORMULA Permission)) |
Merge.kif 17554-17556 |
consequent |