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
-------------------------


s__disjointRelation(s__deprivesNorm__m,s__confersNorm__m)

Merge.kif 3885-3885 deprives norm and confers norm are disjoint
s__documentation(s__deprivesNorm__m,s__ChineseLanguage,'"这个概念表达了一个 EntityFormula 和一个 ObjectiveNorm 之间的关系:就是这个 Entity 所表示的 Formula 没有那个 ObjectiveNorm。"')

chinese_format.kif 2105-2106
s__documentation(s__deprivesNorm__m,s__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 3890-3892
s__domain(s__deprivesNorm__m,n__1,s__Entity)

Merge.kif 3886-3886 The number 1 argument of deprives norm is an instance of entity
s__domain(s__deprivesNorm__m,n__2,s__Formula)

Merge.kif 3887-3887 The number 2 argument of deprives norm is an instance of formula
s__domain(s__deprivesNorm__m,n__3,s__ObjectiveNorm)

Merge.kif 3888-3888 The number 3 argument of deprives norm is an instance of objective norm
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__deprivesNorm__m,s__TernaryPredicate)

Merge.kif 3884-3884 deprives norm is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__deprivesNorm__m,'"%1 %n{不} 对 %3 剥夺规范 %2 "')

domainEnglishFormat.kif 716-716
s__format(s__ChineseTraditionalLanguage,s__deprivesNorm__m,'"%1 %n{不} 對 %3 剝奪規範 %2 "')

domainEnglishFormat.kif 715-715
s__format(s__EnglishLanguage,s__deprivesNorm__m,'"%1 %n{doesnt} deprives norm %2 for %3"')

domainEnglishFormat.kif 714-714
s__termFormat(s__ChineseLanguage,s__deprivesNorm__m,'"剥夺了规范"')

domainEnglishFormat.kif 19167-19167
s__termFormat(s__ChineseTraditionalLanguage,s__deprivesNorm__m,'"剝奪了規範"')

domainEnglishFormat.kif 19166-19166
s__termFormat(s__EnglishLanguage,s__deprivesNorm__m,'"deprives norm"')

domainEnglishFormat.kif 19165-19165

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


No TPTP formula. May not be expressible in strict first order. Law.kif 390-392
No TPTP formula. May not be expressible in strict first order. Law.kif 394-396
No TPTP formula. May not be expressible in strict first order. Merge.kif 3894-3903

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2586-2595
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2537-2546
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2553-2562
No TPTP formula. May not be expressible in strict first order. Law.kif 390-392
No TPTP formula. May not be expressible in strict first order. Merge.kif 12590-12595
No TPTP formula. May not be expressible in strict first order. Merge.kif 14868-14873


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