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 17651-17652 | |
(instance Obligation DeonticAttribute) | Merge.kif 17650-17650 | Obligation は 義務的な属性 の instance では |
appearance as argument number 2 |
![]() |
(subAttribute Law Obligation) | Merge.kif 17662-17662 | Law は Obligation の subattribute では |
(subAttribute Promise Obligation) | Merge.kif 17669-17669 | Promise は Obligation の subattribute では |
(termFormat ChineseLanguage Obligation "义务") | domainEnglishFormat.kif 41556-41556 | Promise は Obligation の subattribute では |
(termFormat ChineseTraditionalLanguage Obligation "義務") | domainEnglishFormat.kif 41555-41555 | Promise は Obligation の subattribute では |
(termFormat EnglishLanguage Obligation "obligation") | domainEnglishFormat.kif 41554-41554 | Promise は Obligation の subattribute では |
antecedent |
![]() |
(<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission))) |
Merge.kif 17654-17656 | ステートメント 公式 には Obligation の modal force が ある ステートメント 公式 には Permission の modal force が ない |
(=> (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 15450-15460 | |
(=> (confersNorm ?E ?F Obligation) (confersNorm ?E ?F Permission)) |
Law.kif 345-347 |
|
(=> (modalAttribute ?FORMULA Obligation) (modalAttribute ?FORMULA Permission)) |
Merge.kif 17658-17660 |
|
consequent |
![]() |
![]() |
![]() |