Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  confersNorm

Sigma KEE - confersNorm
confersNorm

appearance as argument number 1
-------------------------


(documentation confersNorm ChineseLanguage "这个概念表达一个 Formula 、一个 Entity 和一个 ObjectiveNorm 之间的关系:就是这个 Entity 所表示的 Formula 有那个 ObjectiveNorm。") Merge.kif 4125-4126
(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 4122-4124
(domain confersNorm 1 Entity) Merge.kif 4119-4119
(domain confersNorm 2 Formula) Merge.kif 4120-4120
(domain confersNorm 3 ObjectiveNorm) Merge.kif 4121-4121
(instance confersNorm TernaryPredicate) Merge.kif 4118-4118

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


(disjointRelation deprivesNorm confersNorm) Merge.kif 4135-4135
(format EnglishLanguage confersNorm "%1 %n{doesn't} confers norm %2 for %3") domainEnglishFormat.kif 139-139
(termFormat EnglishLanguage confersNorm "confers norm") domainEnglishFormat.kif 3184-3184

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


(=>
    (confersNorm ?E ?F Obligation)
    (confersNorm ?E ?F Permission))
Law.kif 378-380
(=>
    (confersNorm ?E ?F Permission)
    (not
        (confersNorm ?E ?F Prohibition)))
Law.kif 369-372
(=>
    (confersNorm ?E ?F Prohibition)
    (confersNorm ?E
        (not ?F) Permission))
Law.kif 374-376
(=>
    (holdsDuring ?TIME
        (confersNorm ?ENTITY ?FORMULA ?NORM))
    (and
        (holdsDuring
            (ImmediatePastFn ?TIME)
            (not
                (modalAttribute ?FORMULA ?NORM)))
        (holdsDuring
            (ImmediateFutureFn ?TIME)
            (modalAttribute ?FORMULA ?NORM))))
Merge.kif 4128-4132

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


(=>
    (and
        (governmentType ?PLACE Monarchy)
        (instance ?MONARCH Human)
        (instance ?SUCCESSOR Human)
        (holdsDuring ?T1
            (chiefOfState ?PLACE ?ROLE ?MONARCH))
        (holdsDuring ?T2
            (chiefOfState ?PLACE ?ROLE ?SUCCESSOR))
        (earlier ?T1 ?T2))
    (confersNorm
        (relative ?MONARCH ?SUCCESSOR)
        (chiefOfState ?PLACE ?ROLE ?SUCCESSOR) Legal))
Government.kif 209-221
(=>
    (and
        (instance ?B Bequeathing)
        (agent ?B ?P)
        (destination ?B ?H)
        (patient ?I ?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 16230-16246
(=>
    (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 14437-14448
(=>
    (and
        (instance ?P PassCertificate)
        (possesses ?A ?P))
    (exists (?L)
        (confersNorm ?P
            (located ?A ?L) Permission)))
Mid-level-ontology.kif 14182-14189
(=>
    (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 14161-14175
(=>
    (and
        (instance ?POLICY PetsAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))
Hotel.kif 2502-2511
(=>
    (and
        (instance ?POLICY SmokingAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?SMOKE)
            (and
                (instance ?SMOKE Smoking)
                (located ?SMOKE ?LOC))) Permission))
Hotel.kif 2551-2560
(=>
    (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 16252-16263
(=>
    (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 11381-11393
(=>
    (and
        (instance ?TA TravelApproval)
        (possesses ?EMPLOYEE ?TA))
    (confersNorm ?TA
        (exists (?BT)
            (and
                (instance ?BT BusinessTrip)
                (patient ?TA ?BT)
                (agent ?BT ?EMPLOYEE))) Permission))
TravelPolicies.kif 568-577
(=>
    (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 14142-14154
(=>
    (confersNorm ?E ?F Obligation)
    (confersNorm ?E ?F Permission))
Law.kif 378-380
(=>
    (confersNorm ?E ?F Permission)
    (not
        (confersNorm ?E ?F Prohibition)))
Law.kif 369-372
(=>
    (confersNorm ?E ?F Prohibition)
    (confersNorm ?E
        (not ?F) Permission))
Law.kif 374-376
(=>
    (deprivesNorm ?E ?F Prohibition)
    (confersNorm ?E ?F Permission))
Law.kif 390-392
(=>
    (instance ?DECLARE Declaring)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DECLARE ?PROP ?NORM)
            (deprivesNorm ?DECLARE ?PROP ?NORM))))
Merge.kif 13166-13171
(=>
    (instance ?DOC Certificate)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DOC ?PROP ?NORM)
            (deprivesNorm ?DOC ?PROP ?NORM))))
Merge.kif 15701-15706
(=>
    (instance ?TA TravelApproval)
    (exists (?PROP ?NORM ?ORG)
        (and
            (confersNorm ?TA ?PROP ?NORM)
            (agent ?TA ?ORG))))
TravelPolicies.kif 559-564


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners