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

Formal Language: 



KB Term:  Term intersection
English Word: 

  deprivesNorm

Sigma KEE - deprivesNorm
deprivesNorm

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


(disjointRelation deprivesNorm confersNorm) Merge.kif 4148-4148
(documentation deprivesNorm ChineseLanguage "这个概念表达了一个 EntityFormula 和一个 ObjectiveNorm 之间的关系:就是这个 Entity 所表示的 Formula 没有那个 ObjectiveNorm。") Merge.kif 4155-4156
(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 4152-4154
(domain deprivesNorm 1 Entity) Merge.kif 4149-4149
(domain deprivesNorm 2 Formula) Merge.kif 4150-4150
(domain deprivesNorm 3 ObjectiveNorm) Merge.kif 4151-4151
(instance deprivesNorm TernaryPredicate) Merge.kif 4147-4147

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


(format EnglishLanguage deprivesNorm "%1 %n{doesn't} deprives norm %2 for %3") domainEnglishFormat.kif 188-188
(termFormat EnglishLanguage deprivesNorm "deprives norm") domainEnglishFormat.kif 3617-3617

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


(=>
    (deprivesNorm ?E ?F Permission)
    (deprivesNorm ?E ?F Obligation))
Law.kif 386-388
(=>
    (deprivesNorm ?E ?F Prohibition)
    (confersNorm ?E ?F Permission))
Law.kif 390-392
(=>
    (holdsDuring ?TIME
        (deprivesNorm ?ENTITY ?FORMULA ?NORM))
    (and
        (holdsDuring
            (ImmediatePastFn ?TIME)
            (modalAttribute ?FORMULA ?NORM))
        (holdsDuring
            (ImmediateFutureFn ?TIME)
            (not
                (modalAttribute ?FORMULA ?NORM)))))
Merge.kif 4157-4161

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


(=>
    (and
        (instance ?POLICY NoChildrenPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?CHILD)
            (and
                (instance ?CHILD HumanChild)
                (located ?CHILD ?LOC))) Permission))
Hotel.kif 2567-2576
(=>
    (and
        (instance ?POLICY NoPetsPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))
Hotel.kif 2518-2527
(=>
    (and
        (instance ?POLICY NoSmokingPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?SMOKE)
            (and
                (instance ?SMOKE Smoking)
                (located ?SMOKE ?LOC))) Permission))
Hotel.kif 2534-2543
(=>
    (deprivesNorm ?E ?F Permission)
    (deprivesNorm ?E ?F Obligation))
Law.kif 386-388
(=>
    (instance ?DECLARE Declaring)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DECLARE ?PROP ?NORM)
            (deprivesNorm ?DECLARE ?PROP ?NORM))))
Merge.kif 13224-13229
(=>
    (instance ?DOC Certificate)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DOC ?PROP ?NORM)
            (deprivesNorm ?DOC ?PROP ?NORM))))
Merge.kif 15759-15764


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