| 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 | |
| ( ! [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