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 4013-4013 deprivesNorm et confersNorm sont 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 4018-4020
(documentation deprivesNorm JapaneseLanguage "FormulaObjectiveNorm を保持していない、 と Entity がもたらすとき、EntityFormula、および ObjectiveNorm 間で関係を表す。") japanese_format.kif 756-757
(domain deprivesNorm 1 Entity) Merge.kif 4014-4014 Le nombre 1 argument de deprivesNorm est une instance de entit�
(domain deprivesNorm 2 Formula) Merge.kif 4015-4015 Le nombre 2 argument de deprivesNorm est une instance de formule
(domain deprivesNorm 3 ObjectiveNorm) Merge.kif 4016-4016 Le nombre 3 argument de deprivesNorm est une instance de norme objective
(instance deprivesNorm TernaryPredicate) Merge.kif 4012-4012 deprivesNorm est une instance de pr�dicat ternaire

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 19176-19176
(termFormat ChineseTraditionalLanguage deprivesNorm "剝奪了規範") domainEnglishFormat.kif 19175-19175
(termFormat EnglishLanguage deprivesNorm "deprives norm") domainEnglishFormat.kif 19174-19174

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


(=>
    (deprivesNorm ?E ?F Permission)
    (deprivesNorm ?E ?F Obligation))
Law.kif 347-349
(=>
    (deprivesNorm ?E ?F Prohibition)
    (confersNorm ?E ?F Permission))
Law.kif 351-353
(=>
    (holdsDuring ?TIME
        (deprivesNorm ?ENTITY ?FORMULA ?NORM))
    (and
        (holdsDuring
            (ImmediatePastFn ?TIME)
            (modalAttribute ?FORMULA ?NORM))
        (holdsDuring
            (ImmediateFutureFn ?TIME)
            (not
                (modalAttribute ?FORMULA ?NORM)))))
Merge.kif 4022-4031

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 2626-2635
(=>
    (and
        (instance ?POLICY NoPetsPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))
Hotel.kif 2577-2586
(=>
    (and
        (instance ?POLICY NoSmokingPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?SMOKE)
            (and
                (instance ?SMOKE Smoking)
                (located ?SMOKE ?LOC))) Permission))
Hotel.kif 2593-2602
(=>
    (deprivesNorm ?E ?F Permission)
    (deprivesNorm ?E ?F Obligation))
Law.kif 347-349
(=>
    (instance ?DECLARE Declaring)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DECLARE ?PROP ?NORM)
            (deprivesNorm ?DECLARE ?PROP ?NORM))))
Merge.kif 13246-13251
(=>
    (instance ?DOC Certificate)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DOC ?PROP ?NORM)
            (deprivesNorm ?DOC ?PROP ?NORM))))
Merge.kif 15639-15644


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