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 (=> | |
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 :