![]() |
Entity > Abstract > Proposition > NormativeProposition > Promise |
![]() ![]() | ||||
Promise | ||||
subject | fact |
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 | ![]() | |
is a kind of NormativeProposition | ![]() | |
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 Promise :