SUMO View all facts Glossary Help |
Entity > Abstract > Proposition > NormativeProposition > Promise > NakedPromise |
NakedPromise | ||||
subject | fact |
NakedPromise | is disjoint from Contract | |
is a kind of Promise | ||
Promise | documentation A Promise where nothing is promised in return, i.e. a nudum pactum | |
documentation 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 | ||
Proposition | has axiom (=> | |
is second domain of containsInformation | ||
is second domain of realization | ||
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 |