Permission - Sigma Knowledge base Browser

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 17553-17554
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Permission_last.fm.png")	pictureList.kif 11601-11601
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Plato-raphael.jpg")	pictureList.kif 10186-10186
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Permit.JPG")	pictureList.kif 11604-11604
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Szelinski-Singer_permission_picture.JPG")	pictureList.kif 11602-11602
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Steal_this_film_2_permission.png")	pictureList.kif 11603-11603
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Permit_for_Burial_or_Removal.jpg")	pictureList.kif 11605-11605
(instance Permission DeonticAttribute)	Merge.kif 17552-17552	Permission is an instance of deontic attribute

appearance as argument number 2

(subAttribute Legal Permission)	Mid-level-ontology.kif 14096-14096	Legal is a subattribute of permission
(termFormat ChineseLanguage Permission "允许")	domainEnglishFormat.kif 45309-45309	Legal is a subattribute of permission
(termFormat ChineseTraditionalLanguage Permission "允許")	domainEnglishFormat.kif 45308-45308	Legal is a subattribute of permission
(termFormat EnglishLanguage Permission "permission")	domainEnglishFormat.kif 45307-45307	Legal is a subattribute of permission

antecedent

(=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))	Mid-level-ontology.kif 14350-14356	If a cognitive agent has the responsibility to make a proposition permission in an agreement, then the cognitive agent has 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 Permission) (not (confersNorm ?E ?F Prohibition)))	Law.kif 330-333	If an entity confers norm a formula for permission, then the entity doesn't confers norm the formula for prohibition
(=> (deprivesNorm ?E ?F Permission) (deprivesNorm ?E ?F Obligation))	Law.kif 347-349	If an entity deprives norm a formula for permission, then the entity deprives norm the formula for obligation
(=> (modalAttribute ?FORMULA Permission) (modalAttribute ?FORMULA Possibility))	Merge.kif 17399-17401	If the statement a formula has the modal force of permission, then the statement the formula has the modal force of possibility

consequent

(<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission)))	Merge.kif 17560-17562	The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of permission
(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission)))	Merge.kif 17596-17598	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
(=> (and (instance ?B Bequeathing) (agent ?B ?P) (destination ?B ?H) (objectTransferred ?B ?PROP)) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (earlier (WhenFn ?D) (WhenFn ?B)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (possesses ?P ?PROP)) (confersNorm ?P (possesses ?H ?PROP) Permission))))	Mid-level-ontology.kif 18969-18985	If a transfer is an instance of bequeathing and an agent is an agent of the transfer and the transfer ends up at an entity and the object transferred in the transfer is the agentROP, then there exists a process such that the process is an instance of death and the agent experiences the process and the time of existence of the process happens earlier than the time of existence of the transfer and the agent possesses the agentROP holds during immediately before the time of existence of the process and the agent confers norm the entity possesses the agentROP for permission
(=> (and (instance ?L DriversLicense) (possesses ?A ?L)) (confersNorm ?L (exists (?D ?V) (and (instance ?D Driving) (agent ?D ?A) (patient ?D ?V) (instance ?V RoadVehicle))) Permission))	Mid-level-ontology.kif 17132-17143	If an object is an instance of drivers license and an agent possesses the object, then the object confers norm there exist an entity and another entity such that the entity is an instance of driving and the agent is an agent of the entity and the other entity is a patient of the entity and the other entity is an instance of road vehicle for permission
(=> (and (instance ?P PassCertificate) (possesses ?A ?P)) (exists (?L) (confersNorm ?P (located ?A ?L) Permission)))	Mid-level-ontology.kif 16832-16839	If an object is an instance of pass certificate and an agent possesses the object, then there exists an entity such that the object confers norm the agent is located at the entity for permission
(=> (and (instance ?P Passport) (possesses ?A ?P)) (confersNorm ?P (exists (?T ?N1 ?N2) (and (instance ?T Translocation) (agent ?T ?A) (origin ?T ?N1) (destination ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)))) Permission))	Mid-level-ontology.kif 16811-16825	If an object is an instance of passport and an agent possesses the object, then the object confers norm there exist an entity, another entity and a third entity such that the entity is an instance of translocation and the agent is an agent of the entity and the entity originates at the other entity and the entity ends up at the third entity and the other entity is an instance of nation and the third entity is an instance of nation and the other entity is not equal to the third entity for permission
(=> (and (instance ?POLICY NoChildrenPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?CHILD) (and (instance ?CHILD HumanChild) (located ?CHILD ?LOC))) Permission))	Hotel.kif 2626-2635	If a policy is an instance of no children allowed and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of human child and the entity is located at the object for permission
(=> (and (instance ?POLICY NoPetsPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission))	Hotel.kif 2577-2586	If a policy is an instance of no pets allowed and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object for permission
(=> (and (instance ?POLICY NoSmokingPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC))) Permission))	Hotel.kif 2593-2602	If a policy is an instance of no smoking policy and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of smoking and the entity is located at the object for permission
(=> (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 2512-2528	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 PetsAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission))	Hotel.kif 2561-2570	If a policy is an instance of pets allowed and the policy covers an object and an organization enacts policy the policy, then the organization confers norm there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object for permission
(=> (and (instance ?POLICY SmokingAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC))) Permission))	Hotel.kif 2610-2619	If a policy is an instance of smoking allowed policy and the policy covers an object and an organization enacts policy the policy, then the organization confers norm there exists an entity such that the entity is an instance of smoking and the entity is located at the object for permission
(=> (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 2489-2505	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 ?R Renting) (agent ?R ?A) (patient ?R ?O)) (holdsDuring (WhenFn ?R) (modalAttribute (uses ?O ?A) Permission)))	Mid-level-ontology.kif 22741-22748	If a process is an instance of renting and an agent is an agent of the process and an entity is a patient of the process, then the statement the agent uses the entity has the modal force of permission holds during the time of existence of the process
(=> (and (instance ?S SeizingProperty) (destination ?S ?A) (origin ?S ?V) (instance ?V CognitiveAgent)) (and (instance ?A Government) (not (confersNorm ?V (destination ?S ?A) Permission))))	Mid-level-ontology.kif 18991-19002	If a process is an instance of seizing property and the process ends up at an entity and the process originates at an object and the object is an instance of cognitive agent, then the entity is an instance of government and the object doesn't confers norm the process ends up at the entity for permission
(=> (and (instance ?T Ticket) (possesses ?T ?CUST) (issuedBy ?T ?ORG) (attribute ?ORG AmusementGamblingAndRecreationIndustries) (located ?ORG ?LOC)) (confersNorm ?ORG (exists (?REC) (and (instance ?REC RecreationOrExercise) (experiencer ?REC ?CUST) (eventLocated ?REC ?LOC))) Permission))	naics.kif 11456-11468	If an agent is an instance of ticket and the agent possesses an object and a cognitive agent is an issued by of the agent and amusement gambling and recreation industries is an attribute of the cognitive agent and the cognitive agent is located at another object, then the cognitive agent confers norm there exists an entity such that the entity is an instance of recreation or exercise and the object experiences the entity and the entity is located at the other object for permission
(=> (and (instance ?W Transitway) (attribute ?W BiDirectionalTraffic)) (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))))))) Permission))))	Transportation.kif 3239-3263	If an object is an instance of transitway and bidirectional 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 permission
(=> (and (issuedBy ?TICKET ?AGENT) (instance ?TICKET Ticket) (possesses ?CUST ?TICKET)) (confersNorm ?AGENT (exists (?T) (holdsDuring ?T (exists (?P) (and (instance ?P Process) (agent ?P ?AGENT) (experiencer ?P ?CUST))))) Permission))	Mid-level-ontology.kif 16792-16804	If a cognitive agent is an issued by of a certificate and the certificate is an instance of ticket and an agent possesses the certificate, then the cognitive agent confers norm there exists an entity such that there exists another entity such that the other entity is an instance of process and the cognitive agent is an agent of the other entity and the agent experiences the other entity holds during the entity for permission
(=> (confersNorm ?E ?F Obligation) (confersNorm ?E ?F Permission))	Law.kif 339-341	If an entity confers norm a formula for obligation, then the entity confers norm the formula for permission
(=> (confersNorm ?E ?F Prohibition) (confersNorm ?E (not ?F) Permission))	Law.kif 335-337	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 351-353	If an entity deprives norm a formula for prohibition, then the entity confers norm the formula for permission
(=> (instance ?CONST Constitution) (exists (?FORMULA ?PART) (and (instance ?FORMULA Formula) (containsInformation ?FORMULA ?PART) (instance ?PART Proposition) (subProposition ?PART ?CONST) (modalAttribute ?FORMULA Permission))))	Government.kif 627-635	If a proposition is an instance of constitution, then there exist a formula and another proposition such that the formula is an instance of formula and the formula contains information the other proposition and the other proposition is an instance of proposition and the other proposition is a sub-proposition of the proposition and the statement the formula has the modal force of permission
(=> (modalAttribute ?FORMULA Obligation) (modalAttribute ?FORMULA Permission))	Merge.kif 17564-17566	If the statement a formula has the modal force of obligation, then the statement the formula has the modal force of permission
(=> (occupiesPosition ?P JudgeAtLaw ?O) (modalAttribute (exists (?D) (and (instance ?D LegalDecision) (agent ?D ?P))) Permission))	Mid-level-ontology.kif 21298-21304	If a human holds the position of judge in an organization, then the statement there exists an entity such that the entity is an instance of legal decision and the human is an agent of the entity has the modal force of permission
(=> (possesses ?PERSON ?OBJ) (modalAttribute (uses ?OBJ ?PERSON) Permission))	Merge.kif 4253-4255	If an agent possesses an object, then the statement the agent uses the object has the modal force of permission

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: