![]() |
![]() ![]()
|
![]() |
|
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 Agent is forbidden, by some authority, to make true.") | Merge.kif 17251-17253 | |
(externalImage Prohibition "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Prohibition_prescription_front.jpg") | pictureList.kif 6796-6796 | |
(externalImage Prohibition "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Prohibition_lifted_in_Canberra_1928.jpg") | pictureList.kif 7654-7654 | |
(instance Prohibition DeonticAttribute) | Merge.kif 17250-17250 |
appearance as argument number 2 |
![]() |
(subAttribute Illegal Prohibition) | Mid-level-ontology.kif 13306-13306 | |
(termFormat ChineseLanguage Prohibition "禁令") | domainEnglishFormat.kif 47637-47637 | |
(termFormat ChineseTraditionalLanguage Prohibition "禁令") | domainEnglishFormat.kif 47636-47636 | |
(termFormat EnglishLanguage Prohibition "prohibition") | domainEnglishFormat.kif 47635-47635 |
antecedent |
![]() |
(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission))) |
Merge.kif 17255-17257 | |
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))) |
Mid-level-ontology.kif 13557-13564 | |
(=> (confersNorm ?E ?F Prohibition) (confersNorm ?E (not ?F) Permission)) |
Law.kif 378-380 | |
(=> (deprivesNorm ?E ?F Prohibition) (confersNorm ?E ?F Permission)) |
Law.kif 394-396 |
consequent |
![]() |
![]() |
![]() |