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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - confersObligation
confersObligation

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


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

chinese_format.kif 3900-3902
s__documentation(s__confersObligation__m,s__EnglishLanguage,'"Expresses the relationship between a a Formula, an Entity, and a CognitiveAgent when the Entity obligates the CognitiveAgent to bring it about that the Formula is true."')

Merge.kif 16649-16652
s__domain(s__confersObligation__m,n__1,s__Formula)

Merge.kif 16645-16645 The number 1 argument of confers obligation is an instance of formula
s__domain(s__confersObligation__m,n__2,s__Entity)

Merge.kif 16646-16646 The number 2 argument of confers obligation is an instance of entity
s__domain(s__confersObligation__m,n__3,s__CognitiveAgent)

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

s__instance(s__confersObligation__m,s__TernaryPredicate)

Merge.kif 16644-16644 confers obligation is an instance of ternary predicate
s__relatedInternalConcept(s__confersObligation__m,s__confersRight__m)

Merge.kif 16648-16648 confers obligation is internally related to confers right

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


s__format(s__ChineseLanguage,s__confersObligation__m,'"%2 %n{doesnt} 要求 %3 执行 %1 的任务"')

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

english_format.kif 205-205
s__termFormat(s__ChineseLanguage,s__confersObligation__m,'"授予义务"')

domainEnglishFormat.kif 16575-16575
s__termFormat(s__ChineseLanguage,s__confersObligation__m,'"授予执行任务"')

chinese_format.kif 202-202
s__termFormat(s__ChineseTraditionalLanguage,s__confersObligation__m,'"授予義務"')

domainEnglishFormat.kif 16574-16574
s__termFormat(s__EnglishLanguage,s__confersObligation__m,'"confers obligation"')

domainEnglishFormat.kif 16573-16573

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


No TPTP formula. May not be expressible in strict first order. Government.kif 701-706
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. Merge.kif 16654-16656

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 940-948
No TPTP formula. May not be expressible in strict first order. Government.kif 1197-1217
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19472-19485
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28604-28624
No TPTP formula. May not be expressible in strict first order. Merge.kif 15749-15755
No TPTP formula. May not be expressible in strict first order. Government.kif 1177-1195


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