Law concept from the SUMO knowledge base

Law	*documentation* A codified Obligation that is imposed by a government of some sort and that is enforced with penalties for noncompliance
Law	is a kind of Obligation
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