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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - confersNorm
confersNorm

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


s__documentation(s__confersNorm__m,s__ChineseLanguage,'"这个概念表达一个 Formula 、一个 Entity 和一个 ObjectiveNorm 之间的关系:就是这个 Entity 所表示的 Formula 有那个 ObjectiveNorm。"')

chinese_format.kif 2103-2104
s__documentation(s__confersNorm__m,s__EnglishLanguage,'"Expresses the relationship between a Formula,an Entity, and an ObjectiveNorm when the Entity brings it about that the Formula has the ObjectiveNorm."')

Merge.kif 3822-3824
s__domain(s__confersNorm__m,n__1,s__Entity)

Merge.kif 3818-3818 The number 1 argument of confers norm is an instance of entity
s__domain(s__confersNorm__m,n__2,s__Formula)

Merge.kif 3819-3819 The number 2 argument of confers norm is an instance of formula
s__domain(s__confersNorm__m,n__3,s__ObjectiveNorm)

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

s__instance(s__confersNorm__m,s__TernaryPredicate)

Merge.kif 3817-3817 confers norm is an instance of ternary predicate

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


s__disjointRelation(s__deprivesNorm__m,s__confersNorm__m)

Merge.kif 3839-3839 deprives norm and confers norm are disjoint
s__format(s__ChineseLanguage,s__confersNorm__m,'"%1 %n{不是} confers 规范 %2 对于 %3 "')

domainEnglishFormat.kif 520-520
s__format(s__ChineseTraditionalLanguage,s__confersNorm__m,'"%1 %n{不是} confers 規範 %2 對於 %3 "')

domainEnglishFormat.kif 519-519
s__format(s__EnglishLanguage,s__confersNorm__m,'"%1 %n{doesnt} confers norm %2 for %3"')

domainEnglishFormat.kif 518-518
s__termFormat(s__ChineseLanguage,s__confersNorm__m,'"赋予规范"')

domainEnglishFormat.kif 16501-16501
s__termFormat(s__ChineseTraditionalLanguage,s__confersNorm__m,'"賦予規範"')

domainEnglishFormat.kif 16500-16500
s__termFormat(s__EnglishLanguage,s__confersNorm__m,'"confers norm"')

domainEnglishFormat.kif 16499-16499

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


No TPTP formula. May not be expressible in strict first order. Law.kif 382-384
No TPTP formula. May not be expressible in strict first order. Law.kif 373-376
No TPTP formula. May not be expressible in strict first order. Law.kif 378-380
No TPTP formula. May not be expressible in strict first order. Merge.kif 3826-3836

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


No TPTP formula. May not be expressible in strict first order. Government.kif 209-221
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16349-16365
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14438-14449
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14183-14190
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14162-14176
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2507-2516
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2556-2565
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16371-16382
No TPTP formula. May not be expressible in strict first order. naics.kif 11379-11391
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14143-14155
No TPTP formula. May not be expressible in strict first order. Law.kif 382-384
No TPTP formula. May not be expressible in strict first order. Law.kif 373-376
No TPTP formula. May not be expressible in strict first order. Law.kif 378-380
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 12269-12274
No TPTP formula. May not be expressible in strict first order. Merge.kif 14458-14463


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners