Permission
|
|
appearance as argument number 1 |
(documentation Permission ChineseLanguage "这个 Attribute 用来表示某种权威允许 Agent 去 实现 Proposition。") | chinese_format.kif 3905-3906 | |
(documentation Permission EnglishLanguage "Attribute that applies to Propositions that an AutonomousAgent is permitted, by some authority, to make true.") | Merge.kif 17543-17544 | |
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Permission_last.fm.png") | pictureList.kif 11602-11602 | |
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Plato-raphael.jpg") | pictureList.kif 10187-10187 | |
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Permit.JPG") | pictureList.kif 11605-11605 | |
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Szelinski-Singer_permission_picture.JPG") | pictureList.kif 11603-11603 | |
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Steal_this_film_2_permission.png") | pictureList.kif 11604-11604 | |
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Permit_for_Burial_or_Removal.jpg") | pictureList.kif 11606-11606 | |
(instance Permission DeonticAttribute) | Merge.kif 17542-17542 | Permission è un' istanza di AttributoDeontico |
appearance as argument number 2 |
(subAttribute Legal Permission) | Mid-level-ontology.kif 13873-13873 | Legal è un sottoattributo di Permission |
(termFormat ChineseLanguage Permission "允许") | domainEnglishFormat.kif 45278-45278 | |
(termFormat ChineseTraditionalLanguage Permission "允許") | domainEnglishFormat.kif 45277-45277 | |
(termFormat EnglishLanguage Permission "permission") | domainEnglishFormat.kif 45276-45276 |
antecedent |
(=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)) |
Mid-level-ontology.kif 14127-14133 |
|
(=> (confersNorm ?E ?F Permission) (not (confersNorm ?E ?F Prohibition))) |
Law.kif 330-333 | |
(=> (deprivesNorm ?E ?F Permission) (deprivesNorm ?E ?F Obligation)) |
Law.kif 347-349 | |
(=> (modalAttribute ?FORMULA Permission) (modalAttribute ?FORMULA Possibility)) |
Merge.kif 17389-17391 |
|
consequent |