Prohibition
|
|
appearance as argument number 1 |
(documentation Prohibition ChineseLanguage "Prohibition 用来表示某种权威禁止 Agent 去 实现 Proposition 的 DeonticAttribute。") | chinese_format.kif 3913-3914 | |
(documentation Prohibition EnglishLanguage "Prohibition is the DeonticAttribute that applies to Formulas that an AutonomousAgent is forbidden, by some authority, to make true.") | Merge.kif 17511-17513 | |
(externalImage Prohibition "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Prohibition_prescription_front.jpg") | pictureList.kif 6795-6795 | |
(externalImage Prohibition "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Prohibition_lifted_in_Canberra_1928.jpg") | pictureList.kif 7653-7653 | |
(instance Prohibition DeonticAttribute) | Merge.kif 17510-17510 | 例 禁令 and DeonticAttribute |
appearance as argument number 2 |
(subAttribute Illegal Prohibition) | Mid-level-ontology.kif 13840-13840 | 子屬性 非法 and 禁令 |
(termFormat ChineseLanguage Prohibition "禁令") | domainEnglishFormat.kif 47654-47654 | |
(termFormat ChineseTraditionalLanguage Prohibition "禁令") | domainEnglishFormat.kif 47653-47653 | |
(termFormat EnglishLanguage Prohibition "prohibition") | domainEnglishFormat.kif 47652-47652 |
antecedent |
(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission))) |
Merge.kif 17515-17517 | 模態屬性 Formula and 禁令 模態屬性 Formula and 允許 |
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))) |
Mid-level-ontology.kif 14091-14098 |
|
(=> (confersNorm ?E ?F Prohibition) (confersNorm ?E (not ?F) Permission)) |
Law.kif 335-337 | |
(=> (deprivesNorm ?E ?F Prohibition) (confersNorm ?E ?F Permission)) |
Law.kif 351-353 |
consequent |