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 AutonomousAgent is forbidden, by some authority, to make true.")	Merge.kif 17671-17673
(externalImage Prohibition "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Prohibition_prescription_front.jpg")	pictureList.kif 6794-6794
(externalImage Prohibition "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Prohibition_lifted_in_Canberra_1928.jpg")	pictureList.kif 7652-7652
(instance Prohibition DeonticAttribute)	Merge.kif 17670-17670	Prohibition is an instance of deontic attribute

appearance as argument number 2

(subAttribute Illegal Prohibition)	Mid-level-ontology.kif 15211-15211	Illegal is a subattribute of prohibition
(termFormat ChineseLanguage Prohibition "禁令")	domainEnglishFormat.kif 47656-47656	Illegal is a subattribute of prohibition
(termFormat ChineseTraditionalLanguage Prohibition "禁令")	domainEnglishFormat.kif 47655-47655	Illegal is a subattribute of prohibition
(termFormat EnglishLanguage Prohibition "prohibition")	domainEnglishFormat.kif 47654-47654	Illegal is a subattribute of prohibition

antecedent

(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission)))	Merge.kif 17675-17677	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 15462-15469	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 341-343	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 357-359	If an entity deprives norm a formula for prohibition, then the entity confers norm the formula for permission

consequent

(=> (and (instance ?E Entering) (destination ?E ?F) (attribute ?F PhysicallyRestrictedRegion) (not (entrance ?R ?F))) (modalAttribute (path ?E ?R) Prohibition))	Mid-level-ontology.kif 7861-7869	If a process is an instance of entering and the process ends up at a region and physically restricted region is an attribute of the region and not another region is the entrance for the region , then the statement the other region is path along which the process occurs has the modal force of prohibition
(=> (and (instance ?E Exiting) (origin ?E ?F) (attribute ?F PhysicallyRestrictedRegion) (not (entrance ?R ?F))) (modalAttribute (path ?E ?R) Prohibition))	Mid-level-ontology.kif 7882-7890	If a process is an instance of exiting and the process originates at a region and physically restricted region is an attribute of the region and not another region is the entrance for the region , then the statement the other region is path along which the process occurs has the modal force of prohibition
(=> (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 2523-2539	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 2500-2516	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
(=> (and (instance ?W Transitway) (attribute ?W UniDirectionalTraffic)) (exists (?P) (and (instance ?P Policy) (confersNorm ?P (exists (?T1 ?A ?B) (and (instance ?T1 Transportation) (path ?T1 ?W) (instance ?A GeographicArea) (origin ?T1 ?A) (instance ?B GeographicArea) (destination ?T1 ?B) (holdsDuring (WhenFn ?T1) (exists (?T2) (and (instance ?T2 Transportation) (path ?T2 ?W) (origin ?T1 ?B) (destination ?T1 ?A) (not (equal ?T1 ?T2))))))) Prohibition))))	Transportation.kif 3275-3299	If an object is an instance of transitway and unidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and the other entity is not equal to the fifth entity holds during the time of existence of the other entity for prohibition
(=> (confersNorm ?E ?F Permission) (not (confersNorm ?E ?F Prohibition)))	Law.kif 336-339	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 398-405	If an object is prohibited for sale on a web site, then the statement there exists an entity such that the entity is an instance of selling and the web site 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