Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Permission
Permission(permission)
more pictures...		O.K., accredit, admit, advance, affranchise, aggrieve, allow, allow_in, allowable, appoint, approve, assign, authorise, authorize, bail_out, bear, bring_up, certify, charge, charter, claim, commission, consent, copyright, correct, countenance, create, cut_in, decertify, declare, deductible, defrock, deny, depute, deputise, deputize, derecognise, derecognize, derestrict, disbar, disinherit, dismissal, disown, easement, elevate, emancipate, empower, endorse, endow, endue...

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 17568-17569
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Permission_last.fm.png") pictureList.kif 11595-11595
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Plato_raphael.jpg") pictureList.kif 10185-10185
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Permit.JPG") pictureList.kif 11598-11598
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Szelinski_Singer_permission_picture.JPG") pictureList.kif 11596-11596
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Steal_this_film_2_permission.png") pictureList.kif 11597-11597
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Permit_for_Burial_or_Removal.jpg") pictureList.kif 11599-11599
(instance Permission DeonticAttribute) Merge.kif 17567-17567 Permission is an instance of deontic attribute

appearance as argument number 2
-------------------------


(subAttribute Legal Permission) Mid-level-ontology.kif 14774-14774 Legal is a subattribute of permission
(termFormat ChineseLanguage Permission "允许") domainEnglishFormat.kif 45307-45307 Legal is a subattribute of permission
(termFormat ChineseTraditionalLanguage Permission "允許") domainEnglishFormat.kif 45306-45306 Legal is a subattribute of permission
(termFormat EnglishLanguage Permission "permission") domainEnglishFormat.kif 45305-45305 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 15028-15034
(=>
    (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 17414-17416

consequent
-------------------------


(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))		 Merge.kif 17575-17577 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 17611-17613 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 19768-19784
(=>
    (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 17810-17821
(=>
    (and
        (instance ?P PassCertificate)
        (possesses ?A ?P))
    (exists (?L)
        (confersNorm ?P
            (located ?A ?L) Permission)))		 Mid-level-ontology.kif 17510-17517
(=>
    (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 17489-17503
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?R Renting)
        (agent ?R ?A)
        (patient ?R ?O))
    (holdsDuring
        (WhenFn ?R)
        (modalAttribute
            (uses ?O ?A) Permission)))		 Mid-level-ontology.kif 23540-23547
(=>
    (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 19790-19801
(=>
    (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
(=>
    (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
(=>
    (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 17470-17482
(=>
    (confersNorm ?E ?F Obligation)
    (confersNorm ?E ?F Permission))		 Law.kif 339-341
(=>
    (confersNorm ?E ?F Prohibition)
    (confersNorm ?E
        (not ?F) Permission))		 Law.kif 335-337
(=>
    (deprivesNorm ?E ?F Prohibition)
    (confersNorm ?E ?F Permission))		 Law.kif 351-353
(=>
    (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
(=>
    (modalAttribute ?FORMULA Obligation)
    (modalAttribute ?FORMULA Permission))		 Merge.kif 17579-17581
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D LegalDecision)
                (agent ?D ?P))) Permission))		 Mid-level-ontology.kif 22097-22103
(=>
    (possesses ?PERSON ?OBJ)
    (modalAttribute
        (uses ?OBJ ?PERSON) Permission))		 Merge.kif 4249-4251

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