TreeView 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 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	Permission ist ein fall von DeonticAttribute %n{nicht}

appearance as argument number 2

(subAttribute Legal Permission)	Mid-level-ontology.kif 13873-13873	Legal ist ein teilattribut von Permission
(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	Wenn agreementClause Proposition, Permission, Agreement and CognitiveAgent, dann CognitiveAgent hat das Recht, es gibt entity um entity druekt den Inhalt von Proposition aus und entity ist der agent von ** CognitiveAgent %n{nicht} durchzufuehren %n{nicht}
(=> (confersNorm ?E ?F Permission) (not (confersNorm ?E ?F Prohibition)))	Law.kif 330-333	Wenn confersNorm Entity, Formula and Permission, dann confersNorm Entity, Formula and Prohibition
(=> (deprivesNorm ?E ?F Permission) (deprivesNorm ?E ?F Obligation))	Law.kif 347-349	Wenn deprivesNorm Entity, Formula and Permission, dann deprivesNorm Entity, Formula and Obligation
(=> (modalAttribute ?FORMULA Permission) (modalAttribute ?FORMULA Possibility))	Merge.kif 17389-17391	Wenn die Aussage Formula hat die modale Kraft von Permission, dann die Aussage ** Formula hat die modale Kraft von Possibility

consequent

(<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission)))	Merge.kif 17550-17552	Die Aussage Formula hat die modale Kraft von Obligation genau dann wenn nicht die Aussage ** Formula hat die modale Kraft von Permission
(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission)))	Merge.kif 17586-17588	Die Aussage Formula hat die modale Kraft von Prohibition genau dann wenn nicht die Aussage ** Formula hat die modale Kraft von 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 18706-18722	Wenn Transfer ist ein fall von Bequeathing %n{nicht} und Transfer ist der agent von AutonomousAgent %n{nicht} und Transfer endet an Entity %n{nicht} und objectTransferred Transfer and AutonomousAgentROP, dann es gibt Process um Process ist ein fall von Death %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und die zeit des Bestehens von Process geschieht frueh als die zeit des Bestehens von Transfer %n{nicht} und AutonomousAgent besitzt AutonomousAgentROP %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht} und confersNorm AutonomousAgent, Entity besitzt ** AutonomousAgentROP %n{nicht} and 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 16909-16920	Wenn Object ist ein fall von DriversLicense %n{nicht} und AutonomousAgent besitzt Object %n{nicht}, dann confersNorm Object, es gibt entity und entity um entity ist ein fall von Driving %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und entity ist ein patient von entity %n{nicht} und ** entity ist ein fall von RoadVehicle %n{nicht} and Permission
(=> (and (instance ?P PassCertificate) (possesses ?A ?P)) (exists (?L) (confersNorm ?P (located ?A ?L) Permission)))	Mid-level-ontology.kif 16609-16616	Wenn Object ist ein fall von PassCertificate %n{nicht} und AutonomousAgent besitzt Object %n{nicht}, dann es gibt entity um confersNorm Object, ** AutonomousAgent befindet sich an %n{nicht} and 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 16588-16602	Wenn Object ist ein fall von Passport %n{nicht} und AutonomousAgent besitzt Object %n{nicht}, dann confersNorm Object, es gibt entity, entity, and und entity um entity ist ein fall von Translocation %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und entity beginnet an entity %n{nicht} und entity endet an entity %n{nicht} und entity ist ein fall von Nation %n{nicht} und entity ist ein fall von Nation %n{nicht} und entity ist gleich ** entity nicht and 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	Wenn Policy ist ein fall von NoChildrenPolicy %n{nicht} und policyLocationCoverage Policy and Object und policyOwner Organization and Policy, dann deprivesNorm Organization, es gibt entity um entity ist ein fall von HumanChild %n{nicht} und ** entity befindet sich an %n{nicht} and 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	Wenn Policy ist ein fall von NoPetsPolicy %n{nicht} und policyLocationCoverage Policy and Object und policyOwner Organization and Policy, dann deprivesNorm Organization, es gibt entity um entity ist ein fall von DomesticAnimal %n{nicht} und ** entity befindet sich an %n{nicht} and 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	Wenn Policy ist ein fall von NoSmokingPolicy %n{nicht} und policyLocationCoverage Policy and Object und policyOwner Organization and Policy, dann deprivesNorm Organization, es gibt entity um entity ist ein fall von Smoking %n{nicht} und ** entity befindet sich an %n{nicht} and 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	Wenn Policy ist ein fall von PetPolicy %n{nicht} und policyLocationCoverage Policy and Object, dann Policy enthaelt Informationen ueber die Aussage es gibt entity um entity ist ein fall von DomesticAnimal %n{nicht} und entity befindet sich an %n{nicht} hat die modale Kraft von Permission oder Policy enthaelt Informationen ueber die Aussage es gibt entity um entity ist ein fall von DomesticAnimal %n{nicht} und entity befindet sich an %n{nicht} hat die modale Kraft von 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	Wenn Policy ist ein fall von PetsAllowedPolicy %n{nicht} und policyLocationCoverage Policy and Object und policyOwner Organization and Policy, dann confersNorm Organization, es gibt entity um entity ist ein fall von DomesticAnimal %n{nicht} und ** entity befindet sich an %n{nicht} and 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	Wenn Policy ist ein fall von SmokingAllowedPolicy %n{nicht} und policyLocationCoverage Policy and Object und policyOwner Organization and Policy, dann confersNorm Organization, es gibt entity um entity ist ein fall von Smoking %n{nicht} und ** entity befindet sich an %n{nicht} and 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	Wenn Policy ist ein fall von SmokingPolicy %n{nicht} und policyLocationCoverage Policy and Object, dann Policy enthaelt Informationen ueber die Aussage es gibt entity um entity ist ein fall von Smoking %n{nicht} und entity befindet sich an %n{nicht} hat die modale Kraft von Permission oder Policy enthaelt Informationen ueber die Aussage es gibt entity um entity ist ein fall von Smoking %n{nicht} und entity befindet sich an %n{nicht} hat die modale Kraft von Prohibition
(=> (and (instance ?R Renting) (agent ?R ?A) (patient ?R ?O)) (holdsDuring (WhenFn ?R) (modalAttribute (uses ?O ?A) Permission)))	Mid-level-ontology.kif 22478-22485	Wenn Process ist ein fall von Renting %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann die Aussage AutonomousAgent verwendet Entity hat die modale Kraft von Permission haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=> (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	Wenn Process ist ein fall von SeizingProperty %n{nicht} und Process endet an Entity %n{nicht} und Process beginnet an Object %n{nicht} und Object ist ein fall von CognitiveAgent %n{nicht}, dann Entity ist ein fall von Government %n{nicht} und confersNorm Object, Process endet an ** Entity nicht and 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	Wenn AutonomousAgent ist ein fall von Ticket %n{nicht} und AutonomousAgent besitzt Object %n{nicht} und issuedBy AutonomousAgent and CognitiveAgent und AmusementGamblingAndRecreationIndustries ist ein attribut von CognitiveAgent %n{nicht} und CognitiveAgent befindet sich an %n{nicht}, dann confersNorm CognitiveAgent, es gibt entity um entity ist ein fall von RecreationOrExercise %n{nicht} und Object erfaehrt entity %n{nicht} und eventLocated entity and Object and 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 16569-16581	Wenn issuedBy Certificate and CognitiveAgent und Certificate ist ein fall von Ticket %n{nicht} und AutonomousAgent besitzt Certificate %n{nicht}, dann confersNorm CognitiveAgent, es gibt entity um es gibt entity um entity ist ein fall von Process %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} und AutonomousAgent erfaehrt entity %n{nicht} haelt waehrend ** entity %n{nicht} and Permission
(=> (confersNorm ?E ?F Obligation) (confersNorm ?E ?F Permission))	Law.kif 339-341	Wenn confersNorm Entity, Formula and Obligation, dann confersNorm Entity, Formula and Permission
(=> (confersNorm ?E ?F Prohibition) (confersNorm ?E (not ?F) Permission))	Law.kif 335-337	Wenn confersNorm Entity, Formula and Prohibition, dann confersNorm Entity, Formula and Permission
(=> (deprivesNorm ?E ?F Prohibition) (confersNorm ?E ?F Permission))	Law.kif 351-353	Wenn deprivesNorm Entity, Formula and Prohibition, dann confersNorm Entity, Formula and 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	Wenn Proposition ist ein fall von Constitution %n{nicht}, dann es gibt Formula und Proposition um Formula ist ein fall von Formula %n{nicht} und Formula enthaelt Informationen ueber Proposition und Proposition ist ein fall von Proposition %n{nicht} und Proposition ist eine teilangelegenheit von Proposition %n{nicht} und die Aussage ** Formula hat die modale Kraft von Permission
(=> (modalAttribute ?FORMULA Obligation) (modalAttribute ?FORMULA Permission))	Merge.kif 17554-17556	Wenn die Aussage Formula hat die modale Kraft von Obligation, dann die Aussage ** Formula hat die modale Kraft von Permission
(=> (occupiesPosition ?P JudgeAtLaw ?O) (modalAttribute (exists (?D) (and (instance ?D LegalDecision) (agent ?D ?P))) Permission))	Mid-level-ontology.kif 21035-21041	Wenn Human besetzt die position von JudgeAtLaw in Organization, dann die Aussage es gibt entity um entity ist ein fall von LegalDecision %n{nicht} und entity ist der agent von ** Human %n{nicht} hat die modale Kraft von Permission
(=> (possesses ?PERSON ?OBJ) (modalAttribute (uses ?OBJ ?PERSON) Permission))	Merge.kif 4254-4256	Wenn AutonomousAgent besitzt Object %n{nicht}, dann die Aussage AutonomousAgent verwendet Object hat die modale Kraft von Permission

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: