Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Promise(promise) |  | agreed_upon, booking, committed, confederacy, consensual, conspiracy, conspiracy_of_silence, contract, declaration, engagement, gig, guarantee, guaranty, promissory, public_easement, stipulatory |
| appearance as argument number 1 |
|
|
| (subAttribute Promise Obligation) | Merge.kif 17843-17843 | Promise is a subattribute of obligation |
| (documentation Promise EnglishLanguage "Attribute that applies to Propositions that an AutonomousAgent promises to make true. Promises may be implicit or explicit. They may be expressed in a written or verbal or gestural manner.") | Merge.kif 17844-17846 | Promise is a subattribute of obligation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (or (equal ?ATTR Obligation) (equal ?ATTR Promise))) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) Likely)) |
Mid-level-ontology.kif 15680-15690 | If X has the responsibility to make Y Z in W and equal Z and obligation or equal Z and promise, then the statement there exists V such that V expresses the content of Y and X is an agent of V has the modal force of likely |
| (=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise))) |
Mid-level-ontology.kif 15724-15728 | If X the attribute promise, then X the attribute contract or X the attribute naked promise |
| consequent |
|
|
| (=> (and (instance ?COMMIT Committing) (containsFormula ?COMMIT ?FORMULA) (instance ?FORMULA Formula)) (modalAttribute ?FORMULA Promise)) |
Merge.kif 13529-13534 | If X is an instance of committing, X contains the formula Y, and Y is an instance of formula, then the statement Y has the modal force of promise |
| (=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE)) (modalAttribute (exists (?S ?ITEM) (and (instance ?S Selling) (patient ?S ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?S ?SELLER) (destination ?S ?BUYER) (transactionAmount ?S ?PRICE))) Promise)) |
Catalog.kif 276-289 | If the price negotiated for X in Y is Z, Y is a party to agreement of W, and Y is a party to agreement of V, then All of the following hold: (1) the statement there exist U (2) T such that U is an instance of selling (3) T is a patient of U (4) T is an immediate instance of X (5) W is an agent of U (6) U ends up at V (7) Z is a transaction amount of U has the modal force of promise |
| (=> (unpaidItem ?ITEM ?AGENT) (and (modalAttribute (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?ITEM) (agent ?BUYING ?AGENT))) Promise) (not (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?ITEM) (agent ?BUYING ?AGENT)))))) |
UXExperimentalTerms.kif 452-466 | If X didn't buy Y, then the statement there exists Z such that Z is an instance of buying, Y is a patient of Z, and X is an agent of Z has the modal force of promise and there doesn't exist Z such that Z is an instance of buying, Y is a patient of Z, and X is an agent of Z |
|