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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - deprivesNorm
deprivesNorm

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


(disjointRelation deprivesNorm confersNorm) Merge.kif 4029-4029 deprives norm and confers norm are disjoint
(documentation deprivesNorm ChineseLanguage "这个概念表达了一个 Entity，Formula 和一个 ObjectiveNorm 之间的关系：就是这个 Entity 所表示的 Formula 没有那个 ObjectiveNorm。") chinese_format.kif 2105-2106 deprives norm and confers norm are disjoint
(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 4034-4036 deprives norm and confers norm are disjoint
(documentation deprivesNorm JapaneseLanguage "Formula が ObjectiveNorm を保持していない、 と Entity がもたらすとき、Entity、Formula、および ObjectiveNorm 間で関係を表す。") japanese_format.kif 756-757 deprives norm and confers norm are disjoint
(domain deprivesNorm 1 Entity) Merge.kif 4030-4030 The number 1 argument of deprives norm is an instance of entity
(domain deprivesNorm 2 Formula) Merge.kif 4031-4031 The number 2 argument of deprives norm is an instance of formula
(domain deprivesNorm 3 ObjectiveNorm) Merge.kif 4032-4032 The number 3 argument of deprives norm is an instance of objective norm
(instance deprivesNorm TernaryPredicate) Merge.kif 4028-4028 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 19185-19185
(termFormat ChineseTraditionalLanguage deprivesNorm "剝奪了規範") domainEnglishFormat.kif 19184-19184
(termFormat EnglishLanguage deprivesNorm "deprives norm") domainEnglishFormat.kif 19183-19183

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


(=>
    (deprivesNorm ?E ?F Permission)
    (deprivesNorm ?E ?F Obligation))		 Law.kif 353-355
(=>
    (deprivesNorm ?E ?F Prohibition)
    (confersNorm ?E ?F Permission))		 Law.kif 357-359
(=>
    (holdsDuring ?TIME
        (deprivesNorm ?ENTITY ?FORMULA ?NORM))
    (and
        (holdsDuring
            (ImmediatePastFn ?TIME)
            (modalAttribute ?FORMULA ?NORM))
        (holdsDuring
            (ImmediateFutureFn ?TIME)
            (not
                (modalAttribute ?FORMULA ?NORM)))))		 Merge.kif 4038-4047

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 2637-2646
(=>
    (and
        (instance ?POLICY NoPetsPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))		 Hotel.kif 2588-2597
(=>
    (and
        (instance ?POLICY NoSmokingPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?SMOKE)
            (and
                (instance ?SMOKE Smoking)
                (located ?SMOKE ?LOC))) Permission))		 Hotel.kif 2604-2613
(=>
    (deprivesNorm ?E ?F Permission)
    (deprivesNorm ?E ?F Obligation))		 Law.kif 353-355
(=>
    (instance ?DECLARE Declaring)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DECLARE ?PROP ?NORM)
            (deprivesNorm ?DECLARE ?PROP ?NORM))))		 Merge.kif 13400-13405
(=>
    (instance ?DOC Certificate)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DOC ?PROP ?NORM)
            (deprivesNorm ?DOC ?PROP ?NORM))))		 Merge.kif 15789-15794


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