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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - holdsObligation
holdsObligation

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


s__documentation(s__holdsObligation__m,s__ChineseLanguage,'"这是用来表达 FormulaCognitiveAgent 两者之间的一种关系,那就是 CognitiveAgent 有义务去实现 Formula 所指的。"')

chinese_format.kif 3898-3899
s__documentation(s__holdsObligation__m,s__EnglishLanguage,'"Expresses a relationship between a Formula and a CognitiveAgent whereby the CognitiveAgent has the obligation to bring it about that the Formula is true."')

Merge.kif 16640-16642
s__domain(s__holdsObligation__m,n__1,s__Formula)

Merge.kif 16637-16637 The number 1 argument of holds obligation is an instance of formula
s__domain(s__holdsObligation__m,n__2,s__CognitiveAgent)

Merge.kif 16638-16638 The number 2 argument of holds obligation is an instance of cognitive agent
s__instance(s__holdsObligation__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 16636-16636 holds obligation is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__holdsObligation__m,s__BinaryPredicate)

Merge.kif 16635-16635 holds obligation is an instance of binary predicate
s__relatedInternalConcept(s__holdsObligation__m,s__holdsRight__m)

Merge.kif 16639-16639 holds obligation is internally related to holds right

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


s__format(s__ChineseLanguage,s__holdsObligation__m,'"%2 %n 有义务执行 %1 的任务"')

chinese_format.kif 213-213
s__format(s__EnglishLanguage,s__holdsObligation__m,'"%2 is %n obliged to perform tasks of type %1"')

english_format.kif 217-217
s__termFormat(s__ChineseLanguage,s__holdsObligation__m,'"持有义务"')

domainEnglishFormat.kif 28350-28350
s__termFormat(s__ChineseLanguage,s__holdsObligation__m,'"有执行义务"')

chinese_format.kif 214-214
s__termFormat(s__ChineseTraditionalLanguage,s__holdsObligation__m,'"持有義務"')

domainEnglishFormat.kif 28349-28349
s__termFormat(s__EnglishLanguage,s__holdsObligation__m,'"holds obligation"')

domainEnglishFormat.kif 28348-28348

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


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. FinancialOntology.kif 615-627
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1958-1979
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1981-2002
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1930-1939
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1178-1187
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1227-1236
No TPTP formula. May not be expressible in strict first order. Government.kif 761-769
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1365-1375
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1382-1397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7937-7947
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2628-2644
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2582-2600
No TPTP formula. May not be expressible in strict first order. Merge.kif 16654-16656


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