SUMO   View all facts   Glossary   Help

Entity > Abstract > Proposition > NormativeProposition

NormativeProposition
subject			fact

NormativeProposition	documentation A Proposition with normative content, i.e. a Proposition that contains a judgement about the way things ought to be
	is a kind of Proposition
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

Kinds of NormativeProposition :

• AestheticJudgement (2 facts) - A Proposition expressing matters of taste, style, beauty, etc
• JudgementOfEtiquette (2 facts) - A Proposition expressing the proper manner of doing something
• Obligation (1 kind, 4 facts) - Propositions that an Agent is required, by some authority, to make true
• Promise (5 kinds, 13 facts) - A Promise where nothing is promised in return, i.e. a nudum pactum, The Class of NormativePropositions where an Agent promises to do something. Promises may be implicit or explicit. They may be expressed in a written or verbal or gestural manner