Obligation Comparison Table

Next NormativeProposition: Promise Up: NormativeProposition Previous NormativeProposition: JudgementOfEtiquette

Obligation comparison table

Subject documentation be disjoint from is a kind of be first domain of be second domain of have axiom

Law A codified Obligation that is imposed by a government of some sort and that is enforced with penalties for noncompliance Physical Obligation relatedInternalConcept realization
(=>
(instance ?SENTENCE Sentence)
(exists (?PROP)
(and
(instance ?PROP Proposition)
(containsInformation ?SENTENCE ?PROP))))

Subject	documentation	be disjoint from	is a kind of	be first domain of	be second domain of	have axiom
Law	A codified Obligation that is imposed by a government of some sort and that is enforced with penalties for noncompliance	Physical	Obligation	relatedInternalConcept	realization	(=> (instance ?SENTENCE Sentence) (exists (?PROP) (and (instance ?PROP Proposition) (containsInformation ?SENTENCE ?PROP))))

Next NormativeProposition: Promise Up: NormativeProposition Previous NormativeProposition: JudgementOfEtiquette