more pictures...
| 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 17632-17633 | |
| (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 17631-17631 |
| appearance as argument number 2 |
|
|
| (subAttribute Legal Permission) | Mid-level-ontology.kif 15217-15217 | |
| (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 15471-15477 | |
| (=> (confersNorm ?E ?F Permission) (not (confersNorm ?E ?F Prohibition))) |
Law.kif 336-339 | |
| (=> (deprivesNorm ?E ?F Permission) (deprivesNorm ?E ?F Obligation)) |
Law.kif 353-355 | |
| (=> (modalAttribute ?FORMULA Permission) (modalAttribute ?FORMULA Possibility)) |
Merge.kif 17478-17480 |
| consequent |
|
|
| (<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission))) |
Merge.kif 17639-17641 | |
| (<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission))) |
Merge.kif 17675-17677 | |
| (=> (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 20250-20266 | |
| (=> (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 18269-18280 | |
| (=> (and (instance ?P PassCertificate) (possesses ?A ?P)) (exists (?L) (confersNorm ?P (located ?A ?L) Permission))) |
Mid-level-ontology.kif 17969-17976 | |
| (=> (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 17948-17962 | |
| (=> (and (instance ?POLICY NoChildrenPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?CHILD) (and (instance ?CHILD HumanChild) (located ?CHILD ?LOC))) Permission)) |
Hotel.kif 2637-2646 | |
| (=> (and (instance ?POLICY NoPetsPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission)) |
Hotel.kif 2588-2597 | |
| (=> (and (instance ?POLICY NoSmokingPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC))) Permission)) |
Hotel.kif 2604-2613 | |
| (=> (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 | |
| (=> (and (instance ?POLICY PetsAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission)) |
Hotel.kif 2572-2581 | |
| (=> (and (instance ?POLICY SmokingAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC))) Permission)) |
Hotel.kif 2621-2630 | |
| (=> (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 | |
| (=> (and (instance ?R Renting) (agent ?R ?A) (patient ?R ?O)) (holdsDuring (WhenFn ?R) (modalAttribute (uses ?O ?A) Permission))) |
Mid-level-ontology.kif 24069-24076 | |
| (=> (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 20272-20283 | |
| (=> (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 3242-3266 | |
| (=> (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 17929-17941 | |
| (=> (confersNorm ?E ?F Obligation) (confersNorm ?E ?F Permission)) |
Law.kif 345-347 | |
| (=> (confersNorm ?E ?F Prohibition) (confersNorm ?E (not ?F) Permission)) |
Law.kif 341-343 | |
| (=> (deprivesNorm ?E ?F Prohibition) (confersNorm ?E ?F Permission)) |
Law.kif 357-359 | |
| (=> (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 17643-17645 | |
| (=> (occupiesPosition ?P JudgeAtLaw ?O) (modalAttribute (exists (?D) (and (instance ?D LegalDecision) (agent ?D ?P))) Permission)) |
Mid-level-ontology.kif 22625-22631 | |
| (=> (possesses ?PERSON ?OBJ) (modalAttribute (uses ?OBJ ?PERSON) Permission)) |
Merge.kif 4266-4268 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|