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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - confersRight
confersRight

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


s__documentation(s__confersRight__m,s__ChineseLanguage,'"这是用来表达 FormulaEntityCognitiveAgent 三者之间的一种关系,那就是 Entity 授权于 CognitiveAgent 去实现 Formula 所指的。"')

chinese_format.kif 3895-3897
s__documentation(s__confersRight__m,s__EnglishLanguage,'"Expresses the relationship between a Formula, an Entity, and a CognitiveAgent when the Entity authorizes the CognitiveAgent to bring it about that the Formula is true."')

Merge.kif 16627-16629
s__domain(s__confersRight__m,n__1,s__Formula)

Merge.kif 16624-16624 The number 1 argument of confers right is an instance of formula
s__domain(s__confersRight__m,n__2,s__Entity)

Merge.kif 16625-16625 The number 2 argument of confers right is an instance of entity
s__domain(s__confersRight__m,n__3,s__CognitiveAgent)

Merge.kif 16626-16626 The number 3 argument of confers right is an instance of cognitive agent
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__confersRight__m,s__TernaryPredicate)

Merge.kif 16623-16623 confers right is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__confersRight__m,'"%2 %n{doesnt} 允许 %3 执行 %1 的任务"')

chinese_format.kif 203-203
s__format(s__EnglishLanguage,s__confersRight__m,'"%2 %n{doesnt} allow%p{s} %3 to perform task of the type %1"')

english_format.kif 207-207
s__relatedInternalConcept(s__confersObligation__m,s__confersRight__m)

Merge.kif 16648-16648 confers obligation is internally related to confers right
s__termFormat(s__ChineseLanguage,s__confersRight__m,'"赋予权利"')

domainEnglishFormat.kif 16581-16581
s__termFormat(s__ChineseTraditionalLanguage,s__confersRight__m,'"賦予權利"')

domainEnglishFormat.kif 16580-16580
s__termFormat(s__EnglishLanguage,s__confersRight__m,'"confers right"')

domainEnglishFormat.kif 16579-16579

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


No TPTP formula. May not be expressible in strict first order. Government.kif 708-713
No TPTP formula. May not be expressible in strict first order. Merge.kif 16631-16633

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1118-1138
No TPTP formula. May not be expressible in strict first order. Hotel.kif 484-500
No TPTP formula. May not be expressible in strict first order. Dining.kif 332-346
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3195-3205
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 89-103
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14993-15005
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17305-17323
No TPTP formula. May not be expressible in strict first order. naics.kif 7960-7985
No TPTP formula. May not be expressible in strict first order. naics.kif 8743-8763
No TPTP formula. May not be expressible in strict first order. naics.kif 8472-8495
No TPTP formula. May not be expressible in strict first order. naics.kif 8714-8734
No TPTP formula. May not be expressible in strict first order. naics.kif 8041-8066
No TPTP formula. May not be expressible in strict first order. naics.kif 8535-8556
No TPTP formula. May not be expressible in strict first order. naics.kif 8351-8371
No TPTP formula. May not be expressible in strict first order. naics.kif 8260-8282
No TPTP formula. May not be expressible in strict first order. naics.kif 8783-8804
No TPTP formula. May not be expressible in strict first order. naics.kif 8087-8112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17270-17278
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 482-498
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 102-121
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2313-2332
No TPTP formula. May not be expressible in strict first order. Law.kif 386-388
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28577-28597
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21300-21314

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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