TreeView Knowledge Base Browser - confersNorm

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - confersNorm

confersNorm

appearance as argument number 1

(documentation confersNorm ChineseLanguage "这个概念表达一个 Formula 、一个 Entity 和一个 ObjectiveNorm 之间的关系：就是这个 Entity 所表示的 Formula 有那个 ObjectiveNorm。")	chinese_format.kif 2103-2104
(documentation confersNorm EnglishLanguage "Expresses the relationship between a Formula,an Entity, and an ObjectiveNorm when the Entity brings it about that the Formula has the ObjectiveNorm.")	Merge.kif 4012-4014
(documentation confersNorm JapaneseLanguage "Formula が ObjectiveNorm を保持していると Entity がもたらすとき、Formula、Entity、および ObjectiveNorm 間で関係を表す。")	japanese_format.kif 754-755
(domain confersNorm 1 Entity)	Merge.kif 4008-4008	The number 1 argument of confers norm is an instance of entity
(domain confersNorm 2 Formula)	Merge.kif 4009-4009	The number 2 argument of confers norm is an instance of formula
(domain confersNorm 3 ObjectiveNorm)	Merge.kif 4010-4010	The number 3 argument of confers norm is an instance of objective norm
(instance confersNorm TernaryPredicate)	Merge.kif 4007-4007	confers norm is an instance of ternary predicate

appearance as argument number 2

(disjointRelation deprivesNorm confersNorm)	Merge.kif 4029-4029	deprives norm and confers norm are disjoint
(format ChineseLanguage confersNorm "%1 %n{不是} confers 规范 %2 对于 %3 ")	domainEnglishFormat.kif 520-520	deprives norm and confers norm are disjoint
(format ChineseTraditionalLanguage confersNorm "%1 %n{不是} confers 規範 %2 對於 %3 ")	domainEnglishFormat.kif 519-519	deprives norm and confers norm are disjoint
(format EnglishLanguage confersNorm "%1 %n{doesn't} confers norm %2 for %3")	domainEnglishFormat.kif 518-518	deprives norm and confers norm are disjoint
(termFormat ChineseLanguage confersNorm "赋予规范")	domainEnglishFormat.kif 16587-16587	deprives norm and confers norm are disjoint
(termFormat ChineseTraditionalLanguage confersNorm "賦予規範")	domainEnglishFormat.kif 16586-16586	deprives norm and confers norm are disjoint
(termFormat EnglishLanguage confersNorm "confers norm")	domainEnglishFormat.kif 16585-16585	deprives norm and confers norm are disjoint

antecedent

(=> (confersNorm ?E ?F Obligation) (confersNorm ?E ?F Permission))	Law.kif 345-347	If an entity confers norm a formula for obligation, then the entity confers norm the formula for permission
(=> (confersNorm ?E ?F Permission) (not (confersNorm ?E ?F Prohibition)))	Law.kif 336-339	If an entity confers norm a formula for permission, then the entity doesn't confers norm the formula for prohibition
(=> (confersNorm ?E ?F Prohibition) (confersNorm ?E (not ?F) Permission))	Law.kif 341-343	If an entity confers norm a formula for prohibition, then the entity confers norm the formula for permission
(=> (holdsDuring ?TIME (confersNorm ?ENTITY ?FORMULA ?NORM)) (and (holdsDuring (ImmediatePastFn ?TIME) (not (modalAttribute ?FORMULA ?NORM))) (holdsDuring (ImmediateFutureFn ?TIME) (modalAttribute ?FORMULA ?NORM))))	Merge.kif 4016-4026	If an entity confers norm another entity for a third entity holds during a time position, then the statement the other entity doesn't have the modal force of the third entity holds during immediately before the time position and the statement the other entity has the modal force of the third entity holds during immediately after the time position

consequent

(=> (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	If a transfer is an instance of bequeathing and an agent is an agent of the transfer and the transfer ends up at an entity and the object transferred in the transfer is the agentROP, then there exists a process such that the process is an instance of death and the agent experiences the process and the time of existence of the process happens earlier than the time of existence of the transfer and the agent possesses the agentROP holds during immediately before the time of existence of the process and the agent confers norm the entity possesses the agentROP for 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 18269-18280	If an object is an instance of drivers license and an agent possesses the object, then the object confers norm there exist an entity and another entity such that the entity is an instance of driving and the agent is an agent of the entity and the other entity is a patient of the entity and the other entity is an instance of road vehicle for permission
(=> (and (instance ?P PassCertificate) (possesses ?A ?P)) (exists (?L) (confersNorm ?P (located ?A ?L) Permission)))	Mid-level-ontology.kif 17969-17976	If an object is an instance of pass certificate and an agent possesses the object, then there exists an entity such that the object confers norm the agent is located at the entity for 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 17948-17962	If an object is an instance of passport and an agent possesses the object, then the object confers norm there exist an entity, another entity and a third entity such that the entity is an instance of translocation and the agent is an agent of the entity and the entity originates at the other entity and the entity ends up at the third entity and the other entity is an instance of nation and the third entity is an instance of nation and equal the other entity and the third entity for permission
(=> (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	If a policy is an instance of pets allowed and the policy covers an object and an organization enacts policy the policy, then the organization confers norm there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object for 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 2621-2630	If a policy is an instance of smoking allowed policy and the policy covers an object and an organization enacts policy the policy, then the organization confers norm there exists an entity such that the entity is an instance of smoking and the entity is located at the object for permission
(=> (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	If a process is an instance of seizing property and the process ends up at an entity and the process originates at an object and the object is an instance of cognitive agent, then the entity is an instance of government and the object doesn't confers norm the process ends up at the entity for 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	If an agent is an instance of ticket and the agent possesses an object and a cognitive agent is an issued by of the agent and amusement gambling and recreation industries is an attribute of the cognitive agent and the cognitive agent is located at another object, then the cognitive agent confers norm there exists an entity such that the entity is an instance of recreation or exercise and the object experiences the entity and the entity is located at the other object for permission
(=> (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	If an object is an instance of transitway and bidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and equal the other entity and the fifth entity holds during the time of existence of the other entity for permission
(=> (and (instance ?W Transitway) (attribute ?W UniDirectionalTraffic)) (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))))))) Prohibition))))	Transportation.kif 3275-3299	If an object is an instance of transitway and unidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and equal the other entity and the fifth entity holds during the time of existence of the other entity for prohibition
(=> (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	If a cognitive agent is an issued by of a certificate and the certificate is an instance of ticket and an agent possesses the certificate, then the cognitive agent confers norm there exists an entity such that there exists another entity such that the other entity is an instance of process and the cognitive agent is an agent of the other entity and the agent experiences the other entity holds during the entity for permission
(=> (confersNorm ?E ?F Obligation) (confersNorm ?E ?F Permission))	Law.kif 345-347	If an entity confers norm a formula for obligation, then the entity confers norm the formula for permission
(=> (confersNorm ?E ?F Permission) (not (confersNorm ?E ?F Prohibition)))	Law.kif 336-339	If an entity confers norm a formula for permission, then the entity doesn't confers norm the formula for prohibition
(=> (confersNorm ?E ?F Prohibition) (confersNorm ?E (not ?F) Permission))	Law.kif 341-343	If an entity confers norm a formula for prohibition, then the entity confers norm the formula for permission
(=> (deprivesNorm ?E ?F Prohibition) (confersNorm ?E ?F Permission))	Law.kif 357-359	If an entity deprives norm a formula for prohibition, then the entity confers norm the formula for permission
(=> (instance ?DECLARE Declaring) (exists (?PROP ?NORM) (or (confersNorm ?DECLARE ?PROP ?NORM) (deprivesNorm ?DECLARE ?PROP ?NORM))))	Merge.kif 13400-13405	If an entity is an instance of declaring, then there exist a formula and an objective norm such that the entity confers norm the formula for the objective norm or the entity deprives norm the formula for the objective norm
(=> (instance ?DOC Certificate) (exists (?PROP ?NORM) (or (confersNorm ?DOC ?PROP ?NORM) (deprivesNorm ?DOC ?PROP ?NORM))))	Merge.kif 15789-15794	If an entity is an instance of certificate, then there exist a formula and an objective norm such that the entity confers norm the formula for the objective norm or the entity deprives norm the formula for the objective norm

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