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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Obligation
Obligation(obligation)Bushido, GIGO, Highway_Code, Miranda_rule, Orleanism, accept, accounting_principle, accounting_standard, adopt, age_limit, artisan's_lien, assize, assume, assurance, automobile_insurance, back_down, back_off, bear, bounden, bow_out, business_interruption_insurance, canon, car_insurance, carry, categorical_imperative, chicken_out, code, code_of_behavior, code_of_conduct, codification, coinsurance, come_upon, compulsory, debt, dictate, drop-off_charge, due, duty, endowment_insurance, enforce, enter_upon, ethic, ethical_code, federal_tax_lien, fire_insurance, game_law, garageman's_lien, general_lien, golden_rule, ground_rule...

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


s__documentation(s__Obligation,s__ChineseLanguage,'"这个 Attribute 是用来表示某种权威要求 Agent 去 实现 Proposition。"')

chinese_format.kif 3907-3908
s__documentation(s__Obligation,s__EnglishLanguage,'"Attribute that applies to Propositions that an Agent is required, by some authority, to make true."')

Merge.kif 16784-16785
s__instance(s__DeonticAttribute,s__Class)

s__instance(s__Obligation,s__DeonticAttribute)

Merge.kif 16783-16783 Obligation is an instance of deontic attribute

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


s__subAttribute(s__Law,s__Obligation)

Merge.kif 16795-16795 Law is a subattribute of obligation
s__subAttribute(s__Promise,s__Obligation)

Merge.kif 16802-16802 Promise is a subattribute of obligation
s__termFormat(s__ChineseLanguage,s__Obligation,'"义务"')

domainEnglishFormat.kif 41533-41533
s__termFormat(s__ChineseTraditionalLanguage,s__Obligation,'"義務"')

domainEnglishFormat.kif 41532-41532
s__termFormat(s__EnglishLanguage,s__Obligation,'"obligation"')

domainEnglishFormat.kif 41531-41531

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16787-16789 The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13405-13415
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. Merge.kif 16791-16793

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 125-134
No TPTP formula. May not be expressible in strict first order. Merge.kif 12577-12581
No TPTP formula. May not be expressible in strict first order. Catalog.kif 304-318
No TPTP formula. May not be expressible in strict first order. Catalog.kif 507-519
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. Dining.kif 462-473
No TPTP formula. May not be expressible in strict first order. Government.kif 640-648
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13443-13447


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