Prohibition - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Prohibition

Prohibition(prohibition)

forbidden, out, prohibited, proscribed, taboo, tabu, verboten, wrong, wrongfulness

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 16275-16277
(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 7655-7655
(instance Prohibition DeonticAttribute)	Merge.kif 16274-16274	Prohibition is an instance of deontic attribute

appearance as argument number 2

(subAttribute Illegal Prohibition)	Mid-level-ontology.kif 11450-11450	Illegal is a subattribute of prohibition
(termFormat ChineseLanguage Prohibition "禁令")	domainEnglishFormat.kif 47552-47552
(termFormat ChineseTraditionalLanguage Prohibition "禁令")	domainEnglishFormat.kif 47551-47551
(termFormat EnglishLanguage Prohibition "prohibition")	domainEnglishFormat.kif 47550-47550

antecedent

(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission)))	Merge.kif 16279-16281	The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)))	Mid-level-ontology.kif 11700-11707	If a cognitive agent has the responsibility to make a proposition prohibition in an agreement, then the cognitive agent doesn't have the right to perform there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity
(=> (confersNorm ?E ?F Prohibition) (confersNorm ?E (not ?F) Permission))	Law.kif 378-380	If an entity confers norm a formula for prohibition, then the entity confers norm the formula for permission
(=> (deprivesNorm ?E ?F Prohibition) (confersNorm ?E ?F Permission))	Law.kif 394-396	If an entity deprives norm a formula for prohibition, then the entity confers norm the formula for permission

consequent

(=> (and (instance ?POLICY PetPolicy) (policyLocationCoverage ?POLICY ?LOC)) (or (containsInformation ?POLICY (modalAttribute (exists (?PET1) (and (instance ?PET1 DomesticAnimal) (located ?PET1 ?LOC))) Permission)) (containsInformation ?POLICY (modalAttribute (exists (?PET2) (and (instance ?PET2 DomesticAnimal) (located ?PET2 ?LOC))) Prohibition))))	Hotel.kif 2458-2474	If a policy is an instance of pet policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object has the modal force of permission or the policy contains information the statement there exists another entity such that the other entity is an instance of domestic animal and the other entity is located at the object has the modal force of prohibition
(=> (and (instance ?POLICY SmokingPolicy) (policyLocationCoverage ?POLICY ?LOC)) (or (containsInformation ?POLICY (modalAttribute (exists (?SMOKE1) (and (instance ?SMOKE1 Smoking) (located ?SMOKE1 ?LOC))) Permission)) (containsInformation ?POLICY (modalAttribute (exists (?SMOKE2) (and (instance ?SMOKE2 Smoking) (located ?SMOKE2 ?LOC))) Prohibition))))	Hotel.kif 2435-2451	If a policy is an instance of smoking policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the entity is an instance of smoking and the entity is located at the object has the modal force of permission or the policy contains information the statement there exists another entity such that the other entity is an instance of smoking and the other entity is located at the object has the modal force of prohibition
(=> (confersNorm ?E ?F Permission) (not (confersNorm ?E ?F Prohibition)))	Law.kif 373-376	If an entity confers norm a formula for permission, then the entity doesn't confers norm the formula for prohibition
(=> (prohibitedItem ?ITEM ?SITE) (modalAttribute (exists (?SELLING) (and (instance ?SELLING Selling) (eCommerceSite ?SELLING ?SITE))) Prohibition))	UXExperimentalTerms.kif 493-500	If an object is prohibited for sale on a WebSite, then the statement there exists an entity such that the entity is an instance of selling and the WebSite facilitates the entity has the modal force of prohibition

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners