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 3919-3919 deprives norm and confers norm are disjoint
(documentation deprivesNorm ChineseLanguage "这个概念表达了一个 EntityFormula 和一个 ObjectiveNorm 之间的关系:就是这个 Entity 所表示的 Formula 没有那个 ObjectiveNorm。") chinese_format.kif 2105-2106
(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 3924-3926
(domain deprivesNorm 1 Entity) Merge.kif 3920-3920 The number 1 argument of deprives norm is an instance of entity
(domain deprivesNorm 2 Formula) Merge.kif 3921-3921 The number 2 argument of deprives norm is an instance of formula
(domain deprivesNorm 3 ObjectiveNorm) Merge.kif 3922-3922 The number 3 argument of deprives norm is an instance of objective norm
(instance deprivesNorm TernaryPredicate) Merge.kif 3918-3918 deprives norm is an instance of ternary predicate

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


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

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


(=>
    (deprivesNorm ?E ?F Permission)
    (deprivesNorm ?E ?F Obligation))
Law.kif 390-392
(=>
    (deprivesNorm ?E ?F Prohibition)
    (confersNorm ?E ?F Permission))
Law.kif 394-396
(=>
    (holdsDuring ?TIME
        (deprivesNorm ?ENTITY ?FORMULA ?NORM))
    (and
        (holdsDuring
            (ImmediatePastFn ?TIME)
            (modalAttribute ?FORMULA ?NORM))
        (holdsDuring
            (ImmediateFutureFn ?TIME)
            (not
                (modalAttribute ?FORMULA ?NORM)))))
Merge.kif 3928-3937

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 2599-2608
(=>
    (and
        (instance ?POLICY NoPetsPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))
Hotel.kif 2550-2559
(=>
    (and
        (instance ?POLICY NoSmokingPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?SMOKE)
            (and
                (instance ?SMOKE Smoking)
                (located ?SMOKE ?LOC))) Permission))
Hotel.kif 2566-2575
(=>
    (deprivesNorm ?E ?F Permission)
    (deprivesNorm ?E ?F Obligation))
Law.kif 390-392
(=>
    (instance ?DECLARE Declaring)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DECLARE ?PROP ?NORM)
            (deprivesNorm ?DECLARE ?PROP ?NORM))))
Merge.kif 12635-12640
(=>
    (instance ?DOC Certificate)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DOC ?PROP ?NORM)
            (deprivesNorm ?DOC ?PROP ?NORM))))
Merge.kif 14985-14990


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 3.0 is open source software produced by Articulate Software and its partners