Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - deprivesNorm
deprivesNorm

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


(instance deprivesNorm TernaryPredicate) Merge.kif 4115-4115 deprives norm is an instance of ternary predicate
(disjointRelation deprivesNorm confersNorm) Merge.kif 4116-4116 deprives norm and confers norm are disjoint
(domain deprivesNorm 1 Entity) Merge.kif 4117-4117 The number 1 argument of deprives norm is an instance of entity
(domain deprivesNorm 2 ObjectiveNorm) Merge.kif 4118-4118 The number 2 argument of deprives norm is an instance of objective norm
(domain deprivesNorm 3 Formula) Merge.kif 4119-4119 The number 3 argument of deprives norm is an instance of formula
(documentation deprivesNorm EnglishLanguage "Expresses the relationship between an Entity, a Formula, and an ObjectiveNorm when the Entity brings it about that the Formula does not have the ObjectiveNorm.") Merge.kif 4121-4123 The number 3 argument of deprives norm is an instance of formula

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


(format EnglishLanguage deprivesNorm "%1 %n{doesn't} deprives norm %2 for %3") domainEnglishFormat.kif 714-714
(format ChineseTraditionalLanguage deprivesNorm "%1 %n{不} 對 %3 剝奪規範 %2 ") domainEnglishFormat.kif 715-715
(format ChineseLanguage deprivesNorm "%1 %n{不} 对 %3 剥夺规范 %2 ") domainEnglishFormat.kif 716-716
(termFormat EnglishLanguage deprivesNorm "deprives norm") domainEnglishFormat.kif 19176-19176
(termFormat ChineseTraditionalLanguage deprivesNorm "剝奪了規範") domainEnglishFormat.kif 19177-19177
(termFormat ChineseLanguage deprivesNorm "剥夺了规范") domainEnglishFormat.kif 19178-19178

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


(=>
    (holdsDuring ?TIME
        (deprivesNorm ?ENTITY ?NORM ?FORMULA))
    (and
        (holdsDuring
            (ImmediatePastFn ?TIME)
            (modalAttribute ?FORMULA ?NORM))
        (holdsDuring
            (ImmediateFutureFn ?TIME)
            (not
                (modalAttribute ?FORMULA ?NORM)))))		 Merge.kif 4125-4134 If X deprives norm Y for Z holds during W, then the statement Z has the modal force of Y holds during immediately before W and the statement Z doesn't have the modal force of Y holds during immediately after W
(=>
    (deprivesNorm ?E Permission ?F)
    (deprivesNorm ?E Obligation ?F))		 Law.kif 328-330 If X deprives norm permission for Y, then X deprives norm obligation for Y
(=>
    (deprivesNorm ?E Prohibition ?F)
    (confersNorm ?E Permission ?F))		 Law.kif 332-334 If X deprives norm prohibition for Y, then X confers norm permission for Y

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


(=>
    (and
        (instance ?POLICY NoPetsPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT Permission
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC)))))		 Hotel.kif 2595-2604 If X is an instance of no pets allowed, X covers Y, and Z enacts policy X, then Z deprives norm permission for there exists W such that W is an instance of domestic animal and W is located at Y
(=>
    (and
        (instance ?POLICY NoSmokingPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT Permission
        (exists (?SMOKE)
            (and
                (instance ?SMOKE Smoking)
                (located ?SMOKE ?LOC)))))		 Hotel.kif 2611-2620 If X is an instance of no smoking policy, X covers Y, and Z enacts policy X, then Z deprives norm permission for there exists W such that W is an instance of smoking and W is located at Y
(=>
    (and
        (instance ?POLICY NoChildrenPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT Permission
        (exists (?CHILD)
            (and
                (instance ?CHILD HumanChild)
                (located ?CHILD ?LOC)))))		 Hotel.kif 2644-2653 If X is an instance of no children allowed, X covers Y, and Z enacts policy X, then Z deprives norm permission for there exists W such that W is an instance of human child and W is located at Y
(=>
    (deprivesNorm ?E Permission ?F)
    (deprivesNorm ?E Obligation ?F))		 Law.kif 328-330 If X deprives norm permission for Y, then X deprives norm obligation for Y


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners