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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Permission
Permission
more pictures...

VerbNet: marvel-31.3|approve, admit-65|admit, promote-102|advance, admit-65|admit, equip-13.4.2|charge, marvel-31.3|approve, characterize-29.2|certify, equip-13.4.2|charge, patent-101|copyright, allow-64|permit, promote-102|advance, free-80|liberate, fill-9.8|endow, characterize-29.2|certify, fill-9.8|endow, fill-9.8|endow, free-80|relieve, use-105|exert, remove-10.1|extract, admire-31.2|favor, admire-31.2|favor, contribute-13.2|forfeit, contribute-13.2|forfeit, contribute-13.2|forfeit, free-80|relieve, fill-9.8|endow, future_having-13.3|grant, future_having-13.3|grant, involve-107|include, characterize-29.2|certify, fill-9.8|endow, admit-65|admit, fill-9.8|endow, promote-102|advance, allow-64|permit, admit-65|admit, free-80|liberate, characterize-29.2|certify, characterize-29.2|certify, use-105|exert, free-80|emancipate, marvel-31.3|approve, allow-64|permit, admire-31.2|favor, promote-102|advance, promote-102|advance, free-80|relieve, marvel-31.3|approve, steal-10.5|liberate, contribute-13.2|forfeit, ...


appearance as argument number 1
-------------------------


(documentation Permission ChineseLanguage "这个 Attribute 用来表示某种权威允许 Agent 去 实现 Proposition。") Merge.kif 22251-22252
(documentation Permission EnglishLanguage "Attribute that applies to Propositions that an Agent is permitted, by some authority, to make true.") Merge.kif 22249-22250
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Permission_last.fm.png") pictureList.kif 11629-11629
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Plato-raphael.jpg") pictureList.kif 10208-10208
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Permit.JPG") pictureList.kif 11632-11632
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Szelinski-Singer_permission_picture.JPG") pictureList.kif 11630-11630
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Steal_this_film_2_permission.png") pictureList.kif 11631-11631
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Permit_for_Burial_or_Removal.jpg") pictureList.kif 11633-11633
(instance Permission DeonticAttribute) Merge.kif 22248-22248

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


(subAttribute Legal Permission) Mid-level-ontology.kif 11451-11451
(termFormat ChineseLanguage Permission "允许") domainEnglishFormat.kif 45205-45205
(termFormat ChineseTraditionalLanguage Permission "允許") domainEnglishFormat.kif 45204-45204
(termFormat EnglishLanguage Permission "permission") domainEnglishFormat.kif 45203-45203

antecedent
-------------------------


(=>
    (agreementClause ?PROP Permission ?AGREEMENT ?AGENT)
    (holdsRight
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) ?AGENT))
Mid-level-ontology.kif 11704-11710
(=>
    (confersNorm ?E ?F Permission)
    (not
        (confersNorm ?E ?F Prohibition)))
Law.kif 369-372
(=>
    (deprivesNorm ?E ?F Permission)
    (deprivesNorm ?E ?F Obligation))
Law.kif 386-388
(=>
    (modalAttribute ?FORMULA Permission)
    (modalAttribute ?FORMULA Possibility))
Merge.kif 22050-22052

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


(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))
Merge.kif 22260-22262
(<=>
    (modalAttribute ?FORMULA Prohibition)
    (not
        (modalAttribute ?FORMULA Permission)))
Merge.kif 22302-22304
(=>
    (and
        (instance ?B Bequeathing)
        (agent ?B ?P)
        (destination ?B ?H)
        (patient ?I ?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 16261-16277
(=>
    (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 14438-14449
(=>
    (and
        (instance ?P PassCertificate)
        (possesses ?A ?P))
    (exists (?L)
        (confersNorm ?P
            (located ?A ?L) Permission)))
Mid-level-ontology.kif 14183-14190
(=>
    (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 14162-14176
(=>
    (and
        (instance ?POLICY NoChildrenPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?CHILD)
            (and
                (instance ?CHILD HumanChild)
                (located ?CHILD ?LOC))) Permission))
Hotel.kif 2567-2576
(=>
    (and
        (instance ?POLICY NoPetsPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))
Hotel.kif 2518-2527
(=>
    (and
        (instance ?POLICY NoSmokingPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?SMOKE)
            (and
                (instance ?SMOKE Smoking)
                (located ?SMOKE ?LOC))) Permission))
Hotel.kif 2534-2543
(=>
    (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 2453-2469
(=>
    (and
        (instance ?POLICY PetsAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))
Hotel.kif 2502-2511
(=>
    (and
        (instance ?POLICY SmokingAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?SMOKE)
            (and
                (instance ?SMOKE Smoking)
                (located ?SMOKE ?LOC))) Permission))
Hotel.kif 2551-2560
(=>
    (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 2430-2446
(=>
    (and
        (instance ?R Renting)
        (agent ?R ?A)
        (patient ?R ?O))
    (holdsDuring
        (WhenFn ?R)
        (modalAttribute
            (uses ?A ?O) Permission)))
Mid-level-ontology.kif 20322-20329
(=>
    (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 16283-16294
(=>
    (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 11381-11393
(=>
    (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 14143-14155
(=>
    (confersNorm ?E ?F Obligation)
    (confersNorm ?E ?F Permission))
Law.kif 378-380
(=>
    (confersNorm ?E ?F Prohibition)
    (confersNorm ?E
        (not ?F) Permission))
Law.kif 374-376
(=>
    (deprivesNorm ?E ?F Prohibition)
    (confersNorm ?E ?F Permission))
Law.kif 390-392
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Permission))))
Government.kif 657-665
(=>
    (modalAttribute ?FORMULA Obligation)
    (modalAttribute ?FORMULA Permission))
Merge.kif 22264-22266
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D LegalDecision)
                (agent ?D ?P))) Permission))
Mid-level-ontology.kif 18688-18694
(=>
    (possesses ?PERSON ?OBJ)
    (modalAttribute
        (uses ?OBJ ?PERSON) Permission))
Merge.kif 6341-6343


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