Obligation concept from the SUMO knowledge base

Next NormativeProposition: Promise Up: NormativeProposition Previous NormativeProposition: JudgementOfEtiquette

Kinds of Obligation :

Law (2 facts) - A codified Obligation that is imposed by a government of some sort and that is enforced with penalties for noncompliance

Obligation	*documentation* Propositions that an Agent is required, by some authority, to make true
Obligation	is a kind of NormativeProposition
Proposition	has axiom (=> (instance ?SENTENCE Sentence) (exists (?PROP) (and (instance ?PROP Proposition) (containsInformation ?SENTENCE ?PROP))))
	*is second domain* of** containsInformation
	*is second domain* of** realization
Abstract	*is disjoint* from** Physical
Entity	*is first domain* of** documentation
	*is first domain* of** element
	*is first domain* of** equal
	*is first domain* of** IdentityFn
	*is first domain* of** instance
	*is first domain* of** relatedExternalConcept
	*is first domain* of** relatedInternalConcept