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
-------------------------


s__documentation(s__confersNorm__m,s__ChineseLanguage,'这个概念表达一个 Formula 、一个 Entity 和一个 ObjectiveNorm 之间的关系:就是这个 Entity 所表示的 Formula 有那个 ObjectiveNorm。')

Merge.kif 4111-4112
s__documentation(s__confersNorm__m,s__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 4108-4110
s__domain(s__confersNorm__m,1,s__Entity)

Merge.kif 4105-4105 The number 1 argument of confers norm is an instance of entity
s__domain(s__confersNorm__m,2,s__Formula)

Merge.kif 4106-4106 The number 2 argument of confers norm is an instance of formula
s__domain(s__confersNorm__m,3,s__ObjectiveNorm)

Merge.kif 4107-4107 The number 3 argument of confers norm is an instance of objective norm
s__instance(s__confersNorm__m,s__TernaryPredicate)

s__instance(s__TernaryPredicate,s__SetOrClass)

Merge.kif 4104-4104 confers norm is an instance of ternary predicate

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


s__disjointRelation(s__deprivesNorm__m,s__confersNorm__m)

Merge.kif 4121-4121 deprives norm and confers norm are disjoint
s__format(s__EnglishLanguage,s__confersNorm__m,'%1 %n{doesnt} confers norm %2 for %3')

domainEnglishFormat.kif 139-139
s__termFormat(s__EnglishLanguage,s__confersNorm__m,'confers norm')

domainEnglishFormat.kif 3184-3184 "confers norm" is the printable form of confers norm in english language

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


( ! [V__E,V__F] :
   (s__confersNorm(V__E,V__F,s__Obligation) =>
     s__confersNorm(V__E,V__F,s__Permission))
   )

Law.kif 378-380
( ! [V__E,V__F] :
   (s__confersNorm(V__E,V__F,s__Permission) =>
     (~ s__confersNorm(V__E,V__F,s__Prohibition)))
   )

Law.kif 369-372
( ! [V__E,V__F] :
   (s__confersNorm(V__E,V__F,s__Prohibition) =>
     s__confersNorm(V__E,'(~ V__F)',s__Permission))
   )

Law.kif 374-376
( ! [V__TIME,V__ENTITY,V__FORMULA,V__NORM] :
   (s__holdsDuring(V__TIME,'s__confersNorm(V__ENTITY,V__FORMULA,V__NORM)')
   =>
   (s__holdsDuring(s__ImmediatePastFn(V__TIME)
  ,'(~ s__modalAttribute(V__FORMULA,V__NORM))')
&
s__holdsDuring(s__ImmediateFutureFn(V__TIME)
,'s__modalAttribute(V__FORMULA,V__NORM)')))
)

Merge.kif 4114-4118

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


( ! [V__PLACE,V__MONARCH,V__SUCCESSOR,V__T1,V__ROLE,V__T2] :
   ((s__governmentType(V__PLACE,s__Monarchy) &
       s__instance(V__MONARCH,s__Human) &
       s__instance(V__SUCCESSOR,s__Human) &
       s__holdsDuring(V__T1,'s__chiefOfState(V__PLACE,V__ROLE,V__MONARCH)')
     &
     s__holdsDuring(V__T2,'s__chiefOfState(V__PLACE,V__ROLE,V__SUCCESSOR)')
   &
   s__earlier(V__T1,V__T2))
=>
s__confersNorm('s__relative(V__MONARCH,V__SUCCESSOR)','s__chiefOfState(V__PLACE,V__ROLE,V__SUCCESSOR)',s__Legal))
)

Government.kif 209-221
( ! [V__B,V__P,V__H,V__I,V__PROP] :
   ((s__instance(V__B,s__Bequeathing) &
       s__agent(V__B,V__P)
     &
     s__destination(V__B,V__H)
   &
   s__patient(V__I,V__PROP))
=>
(? [V__D] :
(s__instance(V__D,s__Death) &
   s__experiencer(V__D,V__P)
&
s__earlier(s__WhenFn(V__D)
,s__WhenFn(V__B))
&
s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__D))
,'s__possesses(V__P,V__PROP)')
&
s__confersNorm(V__P,'s__possesses(V__H,V__PROP)',s__Permission))))
)

Mid-level-ontology.kif 15929-15945
( ! [V__L,V__A] :
   ((s__instance(V__L,s__DriversLicense) &
       s__possesses(V__A,V__L))
   =>
   s__confersNorm(V__L,'(? [V__D,V__V] : (s__instance(V__D,s__Driving) & s__agent(V__D,V__A) & s__patient(V__D,V__V) & s__instance(V__V,s__RoadVehicle)))',s__Permission))
)

Mid-level-ontology.kif 14177-14188
( ! [V__P,V__A] :
   ((s__instance(V__P,s__PassCertificate) &
       s__possesses(V__A,V__P))
   =>
   (? [V__L] :
     s__confersNorm(V__P,'s__located(V__A,V__L)',s__Permission)))
)

Mid-level-ontology.kif 13922-13929
( ! [V__P,V__A] :
   ((s__instance(V__P,s__Passport) &
       s__possesses(V__A,V__P))
   =>
   s__confersNorm(V__P,'(? [V__T,V__N1,V__N2] : (s__instance(V__T,s__Translocation) & s__agent(V__T,V__A) & s__origin(V__T,V__N1) & s__destination(V__T,V__N2) & s__instance(V__N1,s__Nation) & s__instance(V__N2,s__Nation) & (~ (V__N1 = V__N2))))',s__Permission))
)

Mid-level-ontology.kif 13901-13915
( ! [V__POLICY,V__LOC,V__AGENT] :
   ((s__instance(V__POLICY,s__PetsAllowedPolicy) &
       s__policyLocationCoverage(V__POLICY,V__LOC)
     &
     s__policyOwner(V__AGENT,V__POLICY))
=>
s__confersNorm(V__AGENT,'(? [V__PET] : (s__instance(V__PET,s__DomesticAnimal) & s__located(V__PET,V__LOC)))',s__Permission))
)

Hotel.kif 2502-2511
( ! [V__POLICY,V__LOC,V__AGENT] :
   ((s__instance(V__POLICY,s__SmokingAllowedPolicy) &
       s__policyLocationCoverage(V__POLICY,V__LOC)
     &
     s__policyOwner(V__AGENT,V__POLICY))
=>
s__confersNorm(V__AGENT,'(? [V__SMOKE] : (s__instance(V__SMOKE,s__Smoking) & s__located(V__SMOKE,V__LOC)))',s__Permission))
)

Hotel.kif 2551-2560
( ! [V__S,V__A,V__V] :
   ((s__instance(V__S,s__SeizingProperty) &
       s__destination(V__S,V__A)
     &
     s__origin(V__S,V__V)
   &
   s__instance(V__V,s__CognitiveAgent))
=>
(s__instance(V__A,s__Government) &
   (~ s__confersNorm(V__V,'s__destination(V__S,V__A)',s__Permission))))
)

Mid-level-ontology.kif 15951-15962
( ! [V__T,V__CUST,V__ORG,V__LOC] :
   ((s__instance(V__T,s__Ticket) &
       s__possesses(V__T,V__CUST)
     &
     s__issuedBy(V__T,V__ORG)
   &
   s__attribute(V__ORG,s__AmusementGamblingAndRecreationIndustries) &
   s__located(V__ORG,V__LOC))
=>
s__confersNorm(V__ORG,'(? [V__REC] : (s__instance(V__REC,s__RecreationOrExercise) & s__experiencer(V__REC,V__CUST) & s__eventLocated(V__REC,V__LOC)))',s__Permission))
)

naics.kif 11381-11393
( ! [V__TA,V__EMPLOYEE] :
   ((s__instance(V__TA,s__TravelApproval) &
       s__possesses(V__EMPLOYEE,V__TA))
   =>
   s__confersNorm(V__TA,'(? [V__BT] : (s__instance(V__BT,s__BusinessTrip) & s__patient(V__TA,V__BT) & s__agent(V__BT,V__EMPLOYEE)))',s__Permission))
)

TravelPolicies.kif 566-575
( ! [V__TICKET,V__AGENT,V__CUST] :
   ((s__issuedBy(V__TICKET,V__AGENT)
     &
     s__instance(V__TICKET,s__Ticket) &
     s__possesses(V__CUST,V__TICKET))
=>
s__confersNorm(V__AGENT,'(? [V__T] : s__holdsDuring(V__T,(? [V__P] : (s__instance(V__P,s__Process) & s__agent(V__P,V__AGENT) & s__experiencer(V__P,V__CUST)))))',s__Permission))
)

Mid-level-ontology.kif 13882-13894
( ! [V__E,V__F] :
   (s__confersNorm(V__E,V__F,s__Obligation) =>
     s__confersNorm(V__E,V__F,s__Permission))
   )

Law.kif 378-380
( ! [V__E,V__F] :
   (s__confersNorm(V__E,V__F,s__Permission) =>
     (~ s__confersNorm(V__E,V__F,s__Prohibition)))
   )

Law.kif 369-372
( ! [V__E,V__F] :
   (s__confersNorm(V__E,V__F,s__Prohibition) =>
     s__confersNorm(V__E,'(~ V__F)',s__Permission))
   )

Law.kif 374-376
( ! [V__E,V__F] :
   (s__deprivesNorm(V__E,V__F,s__Prohibition) =>
     s__confersNorm(V__E,V__F,s__Permission))
   )

Law.kif 390-392
( ! [V__DECLARE] :
   (s__instance(V__DECLARE,s__Declaring) =>
     (? [V__PROP,V__NORM] :
       (s__confersNorm(V__DECLARE,V__PROP,V__NORM)
       |
       s__deprivesNorm(V__DECLARE,V__PROP,V__NORM))))
)

Merge.kif 13088-13093
  • If ?DECLARE is an instance of declaring,
  • then there exist ?PROP and ?NORM such that ?DECLARE confers norm ?PROP for ?NORM or ?DECLARE deprives norm ?PROP for ?NORM
( ! [V__DOC] :
   (s__instance(V__DOC,s__Certificate) =>
     (? [V__PROP,V__NORM] :
       (s__confersNorm(V__DOC,V__PROP,V__NORM)
       |
       s__deprivesNorm(V__DOC,V__PROP,V__NORM))))
)

Merge.kif 15623-15628
( ! [V__TA] :
   (s__instance(V__TA,s__TravelApproval) =>
     (? [V__PROP,V__NORM,V__ORG] :
       (s__confersNorm(V__TA,V__PROP,V__NORM)
       &
       s__agent(V__TA,V__ORG))))
)

TravelPolicies.kif 557-562


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