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 16302-16304
(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 16301-16301	Prohibition is an instance of deontic attribute

appearance as argument number 2

(subAttribute Illegal Prohibition)	Mid-level-ontology.kif 11475-11475	Illegal is a subattribute of prohibition
(termFormat ChineseLanguage Prohibition "禁令")	domainEnglishFormat.kif 47573-47573
(termFormat ChineseTraditionalLanguage Prohibition "禁令")	domainEnglishFormat.kif 47572-47572
(termFormat EnglishLanguage Prohibition "prohibition")	domainEnglishFormat.kif 47571-47571

antecedent

(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission)))	Merge.kif 16306-16308	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 11725-11732	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 3.0 is open source software produced by Articulate Software and its partners