Permission more pictures... |
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 17543-17544 | |
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Permission_last.fm.png") | pictureList.kif 11602-11602 | |
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Plato-raphael.jpg") | pictureList.kif 10187-10187 | |
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Permit.JPG") | pictureList.kif 11605-11605 | |
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Szelinski-Singer_permission_picture.JPG") | pictureList.kif 11603-11603 | |
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Steal_this_film_2_permission.png") | pictureList.kif 11604-11604 | |
(externalImage Permission "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Permit_for_Burial_or_Removal.jpg") | pictureList.kif 11606-11606 | |
(instance Permission DeonticAttribute) | Merge.kif 17542-17542 |
appearance as argument number 2 |
(subAttribute Legal Permission) | Mid-level-ontology.kif 13873-13873 | |
(termFormat ChineseLanguage Permission "允许") | domainEnglishFormat.kif 45278-45278 | |
(termFormat ChineseTraditionalLanguage Permission "允許") | domainEnglishFormat.kif 45277-45277 | |
(termFormat EnglishLanguage Permission "permission") | domainEnglishFormat.kif 45276-45276 |
antecedent |
(=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)) |
Mid-level-ontology.kif 14127-14133 | |
(=> (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 17389-17391 |
consequent |
(<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission))) |
Merge.kif 17550-17552 | |
(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission))) |
Merge.kif 17586-17588 | |
(=> (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 18706-18722 | |
(=> (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 16909-16920 | |
(=> (and (instance ?P PassCertificate) (possesses ?A ?P)) (exists (?L) (confersNorm ?P (located ?A ?L) Permission))) |
Mid-level-ontology.kif 16609-16616 | |
(=> (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 16588-16602 | |
(=> (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 22478-22485 | |
(=> (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 18728-18739 | |
(=> (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 (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 16569-16581 | |
(=> (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 17554-17556 | |
(=> (occupiesPosition ?P JudgeAtLaw ?O) (modalAttribute (exists (?D) (and (instance ?D LegalDecision) (agent ?D ?P))) Permission)) |
Mid-level-ontology.kif 21035-21041 | |
(=> (possesses ?PERSON ?OBJ) (modalAttribute (uses ?OBJ ?PERSON) Permission)) |
Merge.kif 4254-4256 |